/* This file auto-generated with ./vperm.pl 4 2.  */

void check0(void)
{
  TEST (0, 0, 0, 0)
  TEST (1, 0, 0, 0)
  TEST (2, 0, 0, 0)
  TEST (3, 0, 0, 0)
  TEST (4, 0, 0, 0)
  TEST (5, 0, 0, 0)
  TEST (6, 0, 0, 0)
  TEST (7, 0, 0, 0)
  TEST (0, 1, 0, 0)
  TEST (1, 1, 0, 0)
  TEST (2, 1, 0, 0)
  TEST (3, 1, 0, 0)
  TEST (4, 1, 0, 0)
  TEST (5, 1, 0, 0)
  TEST (6, 1, 0, 0)
  TEST (7, 1, 0, 0)
  TEST (0, 2, 0, 0)
  TEST (1, 2, 0, 0)
  TEST (2, 2, 0, 0)
  TEST (3, 2, 0, 0)
  TEST (4, 2, 0, 0)
  TEST (5, 2, 0, 0)
  TEST (6, 2, 0, 0)
  TEST (7, 2, 0, 0)
  TEST (0, 3, 0, 0)
  TEST (1, 3, 0, 0)
  TEST (2, 3, 0, 0)
  TEST (3, 3, 0, 0)
  TEST (4, 3, 0, 0)
  TEST (5, 3, 0, 0)
  TEST (6, 3, 0, 0)
  TEST (7, 3, 0, 0)
  TEST (0, 4, 0, 0)
  TEST (1, 4, 0, 0)
  TEST (2, 4, 0, 0)
  TEST (3, 4, 0, 0)
  TEST (4, 4, 0, 0)
  TEST (5, 4, 0, 0)
  TEST (6, 4, 0, 0)
  TEST (7, 4, 0, 0)
  TEST (0, 5, 0, 0)
  TEST (1, 5, 0, 0)
  TEST (2, 5, 0, 0)
  TEST (3, 5, 0, 0)
  TEST (4, 5, 0, 0)
  TEST (5, 5, 0, 0)
  TEST (6, 5, 0, 0)
  TEST (7, 5, 0, 0)
  TEST (0, 6, 0, 0)
  TEST (1, 6, 0, 0)
  TEST (2, 6, 0, 0)
  TEST (3, 6, 0, 0)
  TEST (4, 6, 0, 0)
  TEST (5, 6, 0, 0)
  TEST (6, 6, 0, 0)
  TEST (7, 6, 0, 0)
  TEST (0, 7, 0, 0)
  TEST (1, 7, 0, 0)
  TEST (2, 7, 0, 0)
  TEST (3, 7, 0, 0)
  TEST (4, 7, 0, 0)
  TEST (5, 7, 0, 0)
  TEST (6, 7, 0, 0)
  TEST (7, 7, 0, 0)
  TEST (0, 0, 1, 0)
  TEST (1, 0, 1, 0)
  TEST (2, 0, 1, 0)
  TEST (3, 0, 1, 0)
  TEST (4, 0, 1, 0)
  TEST (5, 0, 1, 0)
  TEST (6, 0, 1, 0)
  TEST (7, 0, 1, 0)
  TEST (0, 1, 1, 0)
  TEST (1, 1, 1, 0)
  TEST (2, 1, 1, 0)
  TEST (3, 1, 1, 0)
  TEST (4, 1, 1, 0)
  TEST (5, 1, 1, 0)
  TEST (6, 1, 1, 0)
  TEST (7, 1, 1, 0)
  TEST (0, 2, 1, 0)
  TEST (1, 2, 1, 0)
  TEST (2, 2, 1, 0)
  TEST (3, 2, 1, 0)
  TEST (4, 2, 1, 0)
  TEST (5, 2, 1, 0)
  TEST (6, 2, 1, 0)
  TEST (7, 2, 1, 0)
  TEST (0, 3, 1, 0)
  TEST (1, 3, 1, 0)
  TEST (2, 3, 1, 0)
  TEST (3, 3, 1, 0)
  TEST (4, 3, 1, 0)
  TEST (5, 3, 1, 0)
  TEST (6, 3, 1, 0)
  TEST (7, 3, 1, 0)
  TEST (0, 4, 1, 0)
  TEST (1, 4, 1, 0)
  TEST (2, 4, 1, 0)
  TEST (3, 4, 1, 0)
  TEST (4, 4, 1, 0)
  TEST (5, 4, 1, 0)
  TEST (6, 4, 1, 0)
  TEST (7, 4, 1, 0)
  TEST (0, 5, 1, 0)
  TEST (1, 5, 1, 0)
  TEST (2, 5, 1, 0)
  TEST (3, 5, 1, 0)
  TEST (4, 5, 1, 0)
  TEST (5, 5, 1, 0)
  TEST (6, 5, 1, 0)
  TEST (7, 5, 1, 0)
  TEST (0, 6, 1, 0)
  TEST (1, 6, 1, 0)
  TEST (2, 6, 1, 0)
  TEST (3, 6, 1, 0)
  TEST (4, 6, 1, 0)
  TEST (5, 6, 1, 0)
  TEST (6, 6, 1, 0)
  TEST (7, 6, 1, 0)
  TEST (0, 7, 1, 0)
  TEST (1, 7, 1, 0)
  TEST (2, 7, 1, 0)
  TEST (3, 7, 1, 0)
  TEST (4, 7, 1, 0)
  TEST (5, 7, 1, 0)
  TEST (6, 7, 1, 0)
  TEST (7, 7, 1, 0)
}

void check1(void)
{
  TEST (0, 0, 2, 0)
  TEST (1, 0, 2, 0)
  TEST (2, 0, 2, 0)
  TEST (3, 0, 2, 0)
  TEST (4, 0, 2, 0)
  TEST (5, 0, 2, 0)
  TEST (6, 0, 2, 0)
  TEST (7, 0, 2, 0)
  TEST (0, 1, 2, 0)
  TEST (1, 1, 2, 0)
  TEST (2, 1, 2, 0)
  TEST (3, 1, 2, 0)
  TEST (4, 1, 2, 0)
  TEST (5, 1, 2, 0)
  TEST (6, 1, 2, 0)
  TEST (7, 1, 2, 0)
  TEST (0, 2, 2, 0)
  TEST (1, 2, 2, 0)
  TEST (2, 2, 2, 0)
  TEST (3, 2, 2, 0)
  TEST (4, 2, 2, 0)
  TEST (5, 2, 2, 0)
  TEST (6, 2, 2, 0)
  TEST (7, 2, 2, 0)
  TEST (0, 3, 2, 0)
  TEST (1, 3, 2, 0)
  TEST (2, 3, 2, 0)
  TEST (3, 3, 2, 0)
  TEST (4, 3, 2, 0)
  TEST (5, 3, 2, 0)
  TEST (6, 3, 2, 0)
  TEST (7, 3, 2, 0)
  TEST (0, 4, 2, 0)
  TEST (1, 4, 2, 0)
  TEST (2, 4, 2, 0)
  TEST (3, 4, 2, 0)
  TEST (4, 4, 2, 0)
  TEST (5, 4, 2, 0)
  TEST (6, 4, 2, 0)
  TEST (7, 4, 2, 0)
  TEST (0, 5, 2, 0)
  TEST (1, 5, 2, 0)
  TEST (2, 5, 2, 0)
  TEST (3, 5, 2, 0)
  TEST (4, 5, 2, 0)
  TEST (5, 5, 2, 0)
  TEST (6, 5, 2, 0)
  TEST (7, 5, 2, 0)
  TEST (0, 6, 2, 0)
  TEST (1, 6, 2, 0)
  TEST (2, 6, 2, 0)
  TEST (3, 6, 2, 0)
  TEST (4, 6, 2, 0)
  TEST (5, 6, 2, 0)
  TEST (6, 6, 2, 0)
  TEST (7, 6, 2, 0)
  TEST (0, 7, 2, 0)
  TEST (1, 7, 2, 0)
  TEST (2, 7, 2, 0)
  TEST (3, 7, 2, 0)
  TEST (4, 7, 2, 0)
  TEST (5, 7, 2, 0)
  TEST (6, 7, 2, 0)
  TEST (7, 7, 2, 0)
  TEST (0, 0, 3, 0)
  TEST (1, 0, 3, 0)
  TEST (2, 0, 3, 0)
  TEST (3, 0, 3, 0)
  TEST (4, 0, 3, 0)
  TEST (5, 0, 3, 0)
  TEST (6, 0, 3, 0)
  TEST (7, 0, 3, 0)
  TEST (0, 1, 3, 0)
  TEST (1, 1, 3, 0)
  TEST (2, 1, 3, 0)
  TEST (3, 1, 3, 0)
  TEST (4, 1, 3, 0)
  TEST (5, 1, 3, 0)
  TEST (6, 1, 3, 0)
  TEST (7, 1, 3, 0)
  TEST (0, 2, 3, 0)
  TEST (1, 2, 3, 0)
  TEST (2, 2, 3, 0)
  TEST (3, 2, 3, 0)
  TEST (4, 2, 3, 0)
  TEST (5, 2, 3, 0)
  TEST (6, 2, 3, 0)
  TEST (7, 2, 3, 0)
  TEST (0, 3, 3, 0)
  TEST (1, 3, 3, 0)
  TEST (2, 3, 3, 0)
  TEST (3, 3, 3, 0)
  TEST (4, 3, 3, 0)
  TEST (5, 3, 3, 0)
  TEST (6, 3, 3, 0)
  TEST (7, 3, 3, 0)
  TEST (0, 4, 3, 0)
  TEST (1, 4, 3, 0)
  TEST (2, 4, 3, 0)
  TEST (3, 4, 3, 0)
  TEST (4, 4, 3, 0)
  TEST (5, 4, 3, 0)
  TEST (6, 4, 3, 0)
  TEST (7, 4, 3, 0)
  TEST (0, 5, 3, 0)
  TEST (1, 5, 3, 0)
  TEST (2, 5, 3, 0)
  TEST (3, 5, 3, 0)
  TEST (4, 5, 3, 0)
  TEST (5, 5, 3, 0)
  TEST (6, 5, 3, 0)
  TEST (7, 5, 3, 0)
  TEST (0, 6, 3, 0)
  TEST (1, 6, 3, 0)
  TEST (2, 6, 3, 0)
  TEST (3, 6, 3, 0)
  TEST (4, 6, 3, 0)
  TEST (5, 6, 3, 0)
  TEST (6, 6, 3, 0)
  TEST (7, 6, 3, 0)
  TEST (0, 7, 3, 0)
  TEST (1, 7, 3, 0)
  TEST (2, 7, 3, 0)
  TEST (3, 7, 3, 0)
  TEST (4, 7, 3, 0)
  TEST (5, 7, 3, 0)
  TEST (6, 7, 3, 0)
  TEST (7, 7, 3, 0)
}

void check2(void)
{
  TEST (0, 0, 4, 0)
  TEST (1, 0, 4, 0)
  TEST (2, 0, 4, 0)
  TEST (3, 0, 4, 0)
  TEST (4, 0, 4, 0)
  TEST (5, 0, 4, 0)
  TEST (6, 0, 4, 0)
  TEST (7, 0, 4, 0)
  TEST (0, 1, 4, 0)
  TEST (1, 1, 4, 0)
  TEST (2, 1, 4, 0)
  TEST (3, 1, 4, 0)
  TEST (4, 1, 4, 0)
  TEST (5, 1, 4, 0)
  TEST (6, 1, 4, 0)
  TEST (7, 1, 4, 0)
  TEST (0, 2, 4, 0)
  TEST (1, 2, 4, 0)
  TEST (2, 2, 4, 0)
  TEST (3, 2, 4, 0)
  TEST (4, 2, 4, 0)
  TEST (5, 2, 4, 0)
  TEST (6, 2, 4, 0)
  TEST (7, 2, 4, 0)
  TEST (0, 3, 4, 0)
  TEST (1, 3, 4, 0)
  TEST (2, 3, 4, 0)
  TEST (3, 3, 4, 0)
  TEST (4, 3, 4, 0)
  TEST (5, 3, 4, 0)
  TEST (6, 3, 4, 0)
  TEST (7, 3, 4, 0)
  TEST (0, 4, 4, 0)
  TEST (1, 4, 4, 0)
  TEST (2, 4, 4, 0)
  TEST (3, 4, 4, 0)
  TEST (4, 4, 4, 0)
  TEST (5, 4, 4, 0)
  TEST (6, 4, 4, 0)
  TEST (7, 4, 4, 0)
  TEST (0, 5, 4, 0)
  TEST (1, 5, 4, 0)
  TEST (2, 5, 4, 0)
  TEST (3, 5, 4, 0)
  TEST (4, 5, 4, 0)
  TEST (5, 5, 4, 0)
  TEST (6, 5, 4, 0)
  TEST (7, 5, 4, 0)
  TEST (0, 6, 4, 0)
  TEST (1, 6, 4, 0)
  TEST (2, 6, 4, 0)
  TEST (3, 6, 4, 0)
  TEST (4, 6, 4, 0)
  TEST (5, 6, 4, 0)
  TEST (6, 6, 4, 0)
  TEST (7, 6, 4, 0)
  TEST (0, 7, 4, 0)
  TEST (1, 7, 4, 0)
  TEST (2, 7, 4, 0)
  TEST (3, 7, 4, 0)
  TEST (4, 7, 4, 0)
  TEST (5, 7, 4, 0)
  TEST (6, 7, 4, 0)
  TEST (7, 7, 4, 0)
  TEST (0, 0, 5, 0)
  TEST (1, 0, 5, 0)
  TEST (2, 0, 5, 0)
  TEST (3, 0, 5, 0)
  TEST (4, 0, 5, 0)
  TEST (5, 0, 5, 0)
  TEST (6, 0, 5, 0)
  TEST (7, 0, 5, 0)
  TEST (0, 1, 5, 0)
  TEST (1, 1, 5, 0)
  TEST (2, 1, 5, 0)
  TEST (3, 1, 5, 0)
  TEST (4, 1, 5, 0)
  TEST (5, 1, 5, 0)
  TEST (6, 1, 5, 0)
  TEST (7, 1, 5, 0)
  TEST (0, 2, 5, 0)
  TEST (1, 2, 5, 0)
  TEST (2, 2, 5, 0)
  TEST (3, 2, 5, 0)
  TEST (4, 2, 5, 0)
  TEST (5, 2, 5, 0)
  TEST (6, 2, 5, 0)
  TEST (7, 2, 5, 0)
  TEST (0, 3, 5, 0)
  TEST (1, 3, 5, 0)
  TEST (2, 3, 5, 0)
  TEST (3, 3, 5, 0)
  TEST (4, 3, 5, 0)
  TEST (5, 3, 5, 0)
  TEST (6, 3, 5, 0)
  TEST (7, 3, 5, 0)
  TEST (0, 4, 5, 0)
  TEST (1, 4, 5, 0)
  TEST (2, 4, 5, 0)
  TEST (3, 4, 5, 0)
  TEST (4, 4, 5, 0)
  TEST (5, 4, 5, 0)
  TEST (6, 4, 5, 0)
  TEST (7, 4, 5, 0)
  TEST (0, 5, 5, 0)
  TEST (1, 5, 5, 0)
  TEST (2, 5, 5, 0)
  TEST (3, 5, 5, 0)
  TEST (4, 5, 5, 0)
  TEST (5, 5, 5, 0)
  TEST (6, 5, 5, 0)
  TEST (7, 5, 5, 0)
  TEST (0, 6, 5, 0)
  TEST (1, 6, 5, 0)
  TEST (2, 6, 5, 0)
  TEST (3, 6, 5, 0)
  TEST (4, 6, 5, 0)
  TEST (5, 6, 5, 0)
  TEST (6, 6, 5, 0)
  TEST (7, 6, 5, 0)
  TEST (0, 7, 5, 0)
  TEST (1, 7, 5, 0)
  TEST (2, 7, 5, 0)
  TEST (3, 7, 5, 0)
  TEST (4, 7, 5, 0)
  TEST (5, 7, 5, 0)
  TEST (6, 7, 5, 0)
  TEST (7, 7, 5, 0)
}

void check3(void)
{
  TEST (0, 0, 6, 0)
  TEST (1, 0, 6, 0)
  TEST (2, 0, 6, 0)
  TEST (3, 0, 6, 0)
  TEST (4, 0, 6, 0)
  TEST (5, 0, 6, 0)
  TEST (6, 0, 6, 0)
  TEST (7, 0, 6, 0)
  TEST (0, 1, 6, 0)
  TEST (1, 1, 6, 0)
  TEST (2, 1, 6, 0)
  TEST (3, 1, 6, 0)
  TEST (4, 1, 6, 0)
  TEST (5, 1, 6, 0)
  TEST (6, 1, 6, 0)
  TEST (7, 1, 6, 0)
  TEST (0, 2, 6, 0)
  TEST (1, 2, 6, 0)
  TEST (2, 2, 6, 0)
  TEST (3, 2, 6, 0)
  TEST (4, 2, 6, 0)
  TEST (5, 2, 6, 0)
  TEST (6, 2, 6, 0)
  TEST (7, 2, 6, 0)
  TEST (0, 3, 6, 0)
  TEST (1, 3, 6, 0)
  TEST (2, 3, 6, 0)
  TEST (3, 3, 6, 0)
  TEST (4, 3, 6, 0)
  TEST (5, 3, 6, 0)
  TEST (6, 3, 6, 0)
  TEST (7, 3, 6, 0)
  TEST (0, 4, 6, 0)
  TEST (1, 4, 6, 0)
  TEST (2, 4, 6, 0)
  TEST (3, 4, 6, 0)
  TEST (4, 4, 6, 0)
  TEST (5, 4, 6, 0)
  TEST (6, 4, 6, 0)
  TEST (7, 4, 6, 0)
  TEST (0, 5, 6, 0)
  TEST (1, 5, 6, 0)
  TEST (2, 5, 6, 0)
  TEST (3, 5, 6, 0)
  TEST (4, 5, 6, 0)
  TEST (5, 5, 6, 0)
  TEST (6, 5, 6, 0)
  TEST (7, 5, 6, 0)
  TEST (0, 6, 6, 0)
  TEST (1, 6, 6, 0)
  TEST (2, 6, 6, 0)
  TEST (3, 6, 6, 0)
  TEST (4, 6, 6, 0)
  TEST (5, 6, 6, 0)
  TEST (6, 6, 6, 0)
  TEST (7, 6, 6, 0)
  TEST (0, 7, 6, 0)
  TEST (1, 7, 6, 0)
  TEST (2, 7, 6, 0)
  TEST (3, 7, 6, 0)
  TEST (4, 7, 6, 0)
  TEST (5, 7, 6, 0)
  TEST (6, 7, 6, 0)
  TEST (7, 7, 6, 0)
  TEST (0, 0, 7, 0)
  TEST (1, 0, 7, 0)
  TEST (2, 0, 7, 0)
  TEST (3, 0, 7, 0)
  TEST (4, 0, 7, 0)
  TEST (5, 0, 7, 0)
  TEST (6, 0, 7, 0)
  TEST (7, 0, 7, 0)
  TEST (0, 1, 7, 0)
  TEST (1, 1, 7, 0)
  TEST (2, 1, 7, 0)
  TEST (3, 1, 7, 0)
  TEST (4, 1, 7, 0)
  TEST (5, 1, 7, 0)
  TEST (6, 1, 7, 0)
  TEST (7, 1, 7, 0)
  TEST (0, 2, 7, 0)
  TEST (1, 2, 7, 0)
  TEST (2, 2, 7, 0)
  TEST (3, 2, 7, 0)
  TEST (4, 2, 7, 0)
  TEST (5, 2, 7, 0)
  TEST (6, 2, 7, 0)
  TEST (7, 2, 7, 0)
  TEST (0, 3, 7, 0)
  TEST (1, 3, 7, 0)
  TEST (2, 3, 7, 0)
  TEST (3, 3, 7, 0)
  TEST (4, 3, 7, 0)
  TEST (5, 3, 7, 0)
  TEST (6, 3, 7, 0)
  TEST (7, 3, 7, 0)
  TEST (0, 4, 7, 0)
  TEST (1, 4, 7, 0)
  TEST (2, 4, 7, 0)
  TEST (3, 4, 7, 0)
  TEST (4, 4, 7, 0)
  TEST (5, 4, 7, 0)
  TEST (6, 4, 7, 0)
  TEST (7, 4, 7, 0)
  TEST (0, 5, 7, 0)
  TEST (1, 5, 7, 0)
  TEST (2, 5, 7, 0)
  TEST (3, 5, 7, 0)
  TEST (4, 5, 7, 0)
  TEST (5, 5, 7, 0)
  TEST (6, 5, 7, 0)
  TEST (7, 5, 7, 0)
  TEST (0, 6, 7, 0)
  TEST (1, 6, 7, 0)
  TEST (2, 6, 7, 0)
  TEST (3, 6, 7, 0)
  TEST (4, 6, 7, 0)
  TEST (5, 6, 7, 0)
  TEST (6, 6, 7, 0)
  TEST (7, 6, 7, 0)
  TEST (0, 7, 7, 0)
  TEST (1, 7, 7, 0)
  TEST (2, 7, 7, 0)
  TEST (3, 7, 7, 0)
  TEST (4, 7, 7, 0)
  TEST (5, 7, 7, 0)
  TEST (6, 7, 7, 0)
  TEST (7, 7, 7, 0)
}

void check4(void)
{
  TEST (0, 0, 0, 1)
  TEST (1, 0, 0, 1)
  TEST (2, 0, 0, 1)
  TEST (3, 0, 0, 1)
  TEST (4, 0, 0, 1)
  TEST (5, 0, 0, 1)
  TEST (6, 0, 0, 1)
  TEST (7, 0, 0, 1)
  TEST (0, 1, 0, 1)
  TEST (1, 1, 0, 1)
  TEST (2, 1, 0, 1)
  TEST (3, 1, 0, 1)
  TEST (4, 1, 0, 1)
  TEST (5, 1, 0, 1)
  TEST (6, 1, 0, 1)
  TEST (7, 1, 0, 1)
  TEST (0, 2, 0, 1)
  TEST (1, 2, 0, 1)
  TEST (2, 2, 0, 1)
  TEST (3, 2, 0, 1)
  TEST (4, 2, 0, 1)
  TEST (5, 2, 0, 1)
  TEST (6, 2, 0, 1)
  TEST (7, 2, 0, 1)
  TEST (0, 3, 0, 1)
  TEST (1, 3, 0, 1)
  TEST (2, 3, 0, 1)
  TEST (3, 3, 0, 1)
  TEST (4, 3, 0, 1)
  TEST (5, 3, 0, 1)
  TEST (6, 3, 0, 1)
  TEST (7, 3, 0, 1)
  TEST (0, 4, 0, 1)
  TEST (1, 4, 0, 1)
  TEST (2, 4, 0, 1)
  TEST (3, 4, 0, 1)
  TEST (4, 4, 0, 1)
  TEST (5, 4, 0, 1)
  TEST (6, 4, 0, 1)
  TEST (7, 4, 0, 1)
  TEST (0, 5, 0, 1)
  TEST (1, 5, 0, 1)
  TEST (2, 5, 0, 1)
  TEST (3, 5, 0, 1)
  TEST (4, 5, 0, 1)
  TEST (5, 5, 0, 1)
  TEST (6, 5, 0, 1)
  TEST (7, 5, 0, 1)
  TEST (0, 6, 0, 1)
  TEST (1, 6, 0, 1)
  TEST (2, 6, 0, 1)
  TEST (3, 6, 0, 1)
  TEST (4, 6, 0, 1)
  TEST (5, 6, 0, 1)
  TEST (6, 6, 0, 1)
  TEST (7, 6, 0, 1)
  TEST (0, 7, 0, 1)
  TEST (1, 7, 0, 1)
  TEST (2, 7, 0, 1)
  TEST (3, 7, 0, 1)
  TEST (4, 7, 0, 1)
  TEST (5, 7, 0, 1)
  TEST (6, 7, 0, 1)
  TEST (7, 7, 0, 1)
  TEST (0, 0, 1, 1)
  TEST (1, 0, 1, 1)
  TEST (2, 0, 1, 1)
  TEST (3, 0, 1, 1)
  TEST (4, 0, 1, 1)
  TEST (5, 0, 1, 1)
  TEST (6, 0, 1, 1)
  TEST (7, 0, 1, 1)
  TEST (0, 1, 1, 1)
  TEST (1, 1, 1, 1)
  TEST (2, 1, 1, 1)
  TEST (3, 1, 1, 1)
  TEST (4, 1, 1, 1)
  TEST (5, 1, 1, 1)
  TEST (6, 1, 1, 1)
  TEST (7, 1, 1, 1)
  TEST (0, 2, 1, 1)
  TEST (1, 2, 1, 1)
  TEST (2, 2, 1, 1)
  TEST (3, 2, 1, 1)
  TEST (4, 2, 1, 1)
  TEST (5, 2, 1, 1)
  TEST (6, 2, 1, 1)
  TEST (7, 2, 1, 1)
  TEST (0, 3, 1, 1)
  TEST (1, 3, 1, 1)
  TEST (2, 3, 1, 1)
  TEST (3, 3, 1, 1)
  TEST (4, 3, 1, 1)
  TEST (5, 3, 1, 1)
  TEST (6, 3, 1, 1)
  TEST (7, 3, 1, 1)
  TEST (0, 4, 1, 1)
  TEST (1, 4, 1, 1)
  TEST (2, 4, 1, 1)
  TEST (3, 4, 1, 1)
  TEST (4, 4, 1, 1)
  TEST (5, 4, 1, 1)
  TEST (6, 4, 1, 1)
  TEST (7, 4, 1, 1)
  TEST (0, 5, 1, 1)
  TEST (1, 5, 1, 1)
  TEST (2, 5, 1, 1)
  TEST (3, 5, 1, 1)
  TEST (4, 5, 1, 1)
  TEST (5, 5, 1, 1)
  TEST (6, 5, 1, 1)
  TEST (7, 5, 1, 1)
  TEST (0, 6, 1, 1)
  TEST (1, 6, 1, 1)
  TEST (2, 6, 1, 1)
  TEST (3, 6, 1, 1)
  TEST (4, 6, 1, 1)
  TEST (5, 6, 1, 1)
  TEST (6, 6, 1, 1)
  TEST (7, 6, 1, 1)
  TEST (0, 7, 1, 1)
  TEST (1, 7, 1, 1)
  TEST (2, 7, 1, 1)
  TEST (3, 7, 1, 1)
  TEST (4, 7, 1, 1)
  TEST (5, 7, 1, 1)
  TEST (6, 7, 1, 1)
  TEST (7, 7, 1, 1)
}

void check5(void)
{
  TEST (0, 0, 2, 1)
  TEST (1, 0, 2, 1)
  TEST (2, 0, 2, 1)
  TEST (3, 0, 2, 1)
  TEST (4, 0, 2, 1)
  TEST (5, 0, 2, 1)
  TEST (6, 0, 2, 1)
  TEST (7, 0, 2, 1)
  TEST (0, 1, 2, 1)
  TEST (1, 1, 2, 1)
  TEST (2, 1, 2, 1)
  TEST (3, 1, 2, 1)
  TEST (4, 1, 2, 1)
  TEST (5, 1, 2, 1)
  TEST (6, 1, 2, 1)
  TEST (7, 1, 2, 1)
  TEST (0, 2, 2, 1)
  TEST (1, 2, 2, 1)
  TEST (2, 2, 2, 1)
  TEST (3, 2, 2, 1)
  TEST (4, 2, 2, 1)
  TEST (5, 2, 2, 1)
  TEST (6, 2, 2, 1)
  TEST (7, 2, 2, 1)
  TEST (0, 3, 2, 1)
  TEST (1, 3, 2, 1)
  TEST (2, 3, 2, 1)
  TEST (3, 3, 2, 1)
  TEST (4, 3, 2, 1)
  TEST (5, 3, 2, 1)
  TEST (6, 3, 2, 1)
  TEST (7, 3, 2, 1)
  TEST (0, 4, 2, 1)
  TEST (1, 4, 2, 1)
  TEST (2, 4, 2, 1)
  TEST (3, 4, 2, 1)
  TEST (4, 4, 2, 1)
  TEST (5, 4, 2, 1)
  TEST (6, 4, 2, 1)
  TEST (7, 4, 2, 1)
  TEST (0, 5, 2, 1)
  TEST (1, 5, 2, 1)
  TEST (2, 5, 2, 1)
  TEST (3, 5, 2, 1)
  TEST (4, 5, 2, 1)
  TEST (5, 5, 2, 1)
  TEST (6, 5, 2, 1)
  TEST (7, 5, 2, 1)
  TEST (0, 6, 2, 1)
  TEST (1, 6, 2, 1)
  TEST (2, 6, 2, 1)
  TEST (3, 6, 2, 1)
  TEST (4, 6, 2, 1)
  TEST (5, 6, 2, 1)
  TEST (6, 6, 2, 1)
  TEST (7, 6, 2, 1)
  TEST (0, 7, 2, 1)
  TEST (1, 7, 2, 1)
  TEST (2, 7, 2, 1)
  TEST (3, 7, 2, 1)
  TEST (4, 7, 2, 1)
  TEST (5, 7, 2, 1)
  TEST (6, 7, 2, 1)
  TEST (7, 7, 2, 1)
  TEST (0, 0, 3, 1)
  TEST (1, 0, 3, 1)
  TEST (2, 0, 3, 1)
  TEST (3, 0, 3, 1)
  TEST (4, 0, 3, 1)
  TEST (5, 0, 3, 1)
  TEST (6, 0, 3, 1)
  TEST (7, 0, 3, 1)
  TEST (0, 1, 3, 1)
  TEST (1, 1, 3, 1)
  TEST (2, 1, 3, 1)
  TEST (3, 1, 3, 1)
  TEST (4, 1, 3, 1)
  TEST (5, 1, 3, 1)
  TEST (6, 1, 3, 1)
  TEST (7, 1, 3, 1)
  TEST (0, 2, 3, 1)
  TEST (1, 2, 3, 1)
  TEST (2, 2, 3, 1)
  TEST (3, 2, 3, 1)
  TEST (4, 2, 3, 1)
  TEST (5, 2, 3, 1)
  TEST (6, 2, 3, 1)
  TEST (7, 2, 3, 1)
  TEST (0, 3, 3, 1)
  TEST (1, 3, 3, 1)
  TEST (2, 3, 3, 1)
  TEST (3, 3, 3, 1)
  TEST (4, 3, 3, 1)
  TEST (5, 3, 3, 1)
  TEST (6, 3, 3, 1)
  TEST (7, 3, 3, 1)
  TEST (0, 4, 3, 1)
  TEST (1, 4, 3, 1)
  TEST (2, 4, 3, 1)
  TEST (3, 4, 3, 1)
  TEST (4, 4, 3, 1)
  TEST (5, 4, 3, 1)
  TEST (6, 4, 3, 1)
  TEST (7, 4, 3, 1)
  TEST (0, 5, 3, 1)
  TEST (1, 5, 3, 1)
  TEST (2, 5, 3, 1)
  TEST (3, 5, 3, 1)
  TEST (4, 5, 3, 1)
  TEST (5, 5, 3, 1)
  TEST (6, 5, 3, 1)
  TEST (7, 5, 3, 1)
  TEST (0, 6, 3, 1)
  TEST (1, 6, 3, 1)
  TEST (2, 6, 3, 1)
  TEST (3, 6, 3, 1)
  TEST (4, 6, 3, 1)
  TEST (5, 6, 3, 1)
  TEST (6, 6, 3, 1)
  TEST (7, 6, 3, 1)
  TEST (0, 7, 3, 1)
  TEST (1, 7, 3, 1)
  TEST (2, 7, 3, 1)
  TEST (3, 7, 3, 1)
  TEST (4, 7, 3, 1)
  TEST (5, 7, 3, 1)
  TEST (6, 7, 3, 1)
  TEST (7, 7, 3, 1)
}

void check6(void)
{
  TEST (0, 0, 4, 1)
  TEST (1, 0, 4, 1)
  TEST (2, 0, 4, 1)
  TEST (3, 0, 4, 1)
  TEST (4, 0, 4, 1)
  TEST (5, 0, 4, 1)
  TEST (6, 0, 4, 1)
  TEST (7, 0, 4, 1)
  TEST (0, 1, 4, 1)
  TEST (1, 1, 4, 1)
  TEST (2, 1, 4, 1)
  TEST (3, 1, 4, 1)
  TEST (4, 1, 4, 1)
  TEST (5, 1, 4, 1)
  TEST (6, 1, 4, 1)
  TEST (7, 1, 4, 1)
  TEST (0, 2, 4, 1)
  TEST (1, 2, 4, 1)
  TEST (2, 2, 4, 1)
  TEST (3, 2, 4, 1)
  TEST (4, 2, 4, 1)
  TEST (5, 2, 4, 1)
  TEST (6, 2, 4, 1)
  TEST (7, 2, 4, 1)
  TEST (0, 3, 4, 1)
  TEST (1, 3, 4, 1)
  TEST (2, 3, 4, 1)
  TEST (3, 3, 4, 1)
  TEST (4, 3, 4, 1)
  TEST (5, 3, 4, 1)
  TEST (6, 3, 4, 1)
  TEST (7, 3, 4, 1)
  TEST (0, 4, 4, 1)
  TEST (1, 4, 4, 1)
  TEST (2, 4, 4, 1)
  TEST (3, 4, 4, 1)
  TEST (4, 4, 4, 1)
  TEST (5, 4, 4, 1)
  TEST (6, 4, 4, 1)
  TEST (7, 4, 4, 1)
  TEST (0, 5, 4, 1)
  TEST (1, 5, 4, 1)
  TEST (2, 5, 4, 1)
  TEST (3, 5, 4, 1)
  TEST (4, 5, 4, 1)
  TEST (5, 5, 4, 1)
  TEST (6, 5, 4, 1)
  TEST (7, 5, 4, 1)
  TEST (0, 6, 4, 1)
  TEST (1, 6, 4, 1)
  TEST (2, 6, 4, 1)
  TEST (3, 6, 4, 1)
  TEST (4, 6, 4, 1)
  TEST (5, 6, 4, 1)
  TEST (6, 6, 4, 1)
  TEST (7, 6, 4, 1)
  TEST (0, 7, 4, 1)
  TEST (1, 7, 4, 1)
  TEST (2, 7, 4, 1)
  TEST (3, 7, 4, 1)
  TEST (4, 7, 4, 1)
  TEST (5, 7, 4, 1)
  TEST (6, 7, 4, 1)
  TEST (7, 7, 4, 1)
  TEST (0, 0, 5, 1)
  TEST (1, 0, 5, 1)
  TEST (2, 0, 5, 1)
  TEST (3, 0, 5, 1)
  TEST (4, 0, 5, 1)
  TEST (5, 0, 5, 1)
  TEST (6, 0, 5, 1)
  TEST (7, 0, 5, 1)
  TEST (0, 1, 5, 1)
  TEST (1, 1, 5, 1)
  TEST (2, 1, 5, 1)
  TEST (3, 1, 5, 1)
  TEST (4, 1, 5, 1)
  TEST (5, 1, 5, 1)
  TEST (6, 1, 5, 1)
  TEST (7, 1, 5, 1)
  TEST (0, 2, 5, 1)
  TEST (1, 2, 5, 1)
  TEST (2, 2, 5, 1)
  TEST (3, 2, 5, 1)
  TEST (4, 2, 5, 1)
  TEST (5, 2, 5, 1)
  TEST (6, 2, 5, 1)
  TEST (7, 2, 5, 1)
  TEST (0, 3, 5, 1)
  TEST (1, 3, 5, 1)
  TEST (2, 3, 5, 1)
  TEST (3, 3, 5, 1)
  TEST (4, 3, 5, 1)
  TEST (5, 3, 5, 1)
  TEST (6, 3, 5, 1)
  TEST (7, 3, 5, 1)
  TEST (0, 4, 5, 1)
  TEST (1, 4, 5, 1)
  TEST (2, 4, 5, 1)
  TEST (3, 4, 5, 1)
  TEST (4, 4, 5, 1)
  TEST (5, 4, 5, 1)
  TEST (6, 4, 5, 1)
  TEST (7, 4, 5, 1)
  TEST (0, 5, 5, 1)
  TEST (1, 5, 5, 1)
  TEST (2, 5, 5, 1)
  TEST (3, 5, 5, 1)
  TEST (4, 5, 5, 1)
  TEST (5, 5, 5, 1)
  TEST (6, 5, 5, 1)
  TEST (7, 5, 5, 1)
  TEST (0, 6, 5, 1)
  TEST (1, 6, 5, 1)
  TEST (2, 6, 5, 1)
  TEST (3, 6, 5, 1)
  TEST (4, 6, 5, 1)
  TEST (5, 6, 5, 1)
  TEST (6, 6, 5, 1)
  TEST (7, 6, 5, 1)
  TEST (0, 7, 5, 1)
  TEST (1, 7, 5, 1)
  TEST (2, 7, 5, 1)
  TEST (3, 7, 5, 1)
  TEST (4, 7, 5, 1)
  TEST (5, 7, 5, 1)
  TEST (6, 7, 5, 1)
  TEST (7, 7, 5, 1)
}

void check7(void)
{
  TEST (0, 0, 6, 1)
  TEST (1, 0, 6, 1)
  TEST (2, 0, 6, 1)
  TEST (3, 0, 6, 1)
  TEST (4, 0, 6, 1)
  TEST (5, 0, 6, 1)
  TEST (6, 0, 6, 1)
  TEST (7, 0, 6, 1)
  TEST (0, 1, 6, 1)
  TEST (1, 1, 6, 1)
  TEST (2, 1, 6, 1)
  TEST (3, 1, 6, 1)
  TEST (4, 1, 6, 1)
  TEST (5, 1, 6, 1)
  TEST (6, 1, 6, 1)
  TEST (7, 1, 6, 1)
  TEST (0, 2, 6, 1)
  TEST (1, 2, 6, 1)
  TEST (2, 2, 6, 1)
  TEST (3, 2, 6, 1)
  TEST (4, 2, 6, 1)
  TEST (5, 2, 6, 1)
  TEST (6, 2, 6, 1)
  TEST (7, 2, 6, 1)
  TEST (0, 3, 6, 1)
  TEST (1, 3, 6, 1)
  TEST (2, 3, 6, 1)
  TEST (3, 3, 6, 1)
  TEST (4, 3, 6, 1)
  TEST (5, 3, 6, 1)
  TEST (6, 3, 6, 1)
  TEST (7, 3, 6, 1)
  TEST (0, 4, 6, 1)
  TEST (1, 4, 6, 1)
  TEST (2, 4, 6, 1)
  TEST (3, 4, 6, 1)
  TEST (4, 4, 6, 1)
  TEST (5, 4, 6, 1)
  TEST (6, 4, 6, 1)
  TEST (7, 4, 6, 1)
  TEST (0, 5, 6, 1)
  TEST (1, 5, 6, 1)
  TEST (2, 5, 6, 1)
  TEST (3, 5, 6, 1)
  TEST (4, 5, 6, 1)
  TEST (5, 5, 6, 1)
  TEST (6, 5, 6, 1)
  TEST (7, 5, 6, 1)
  TEST (0, 6, 6, 1)
  TEST (1, 6, 6, 1)
  TEST (2, 6, 6, 1)
  TEST (3, 6, 6, 1)
  TEST (4, 6, 6, 1)
  TEST (5, 6, 6, 1)
  TEST (6, 6, 6, 1)
  TEST (7, 6, 6, 1)
  TEST (0, 7, 6, 1)
  TEST (1, 7, 6, 1)
  TEST (2, 7, 6, 1)
  TEST (3, 7, 6, 1)
  TEST (4, 7, 6, 1)
  TEST (5, 7, 6, 1)
  TEST (6, 7, 6, 1)
  TEST (7, 7, 6, 1)
  TEST (0, 0, 7, 1)
  TEST (1, 0, 7, 1)
  TEST (2, 0, 7, 1)
  TEST (3, 0, 7, 1)
  TEST (4, 0, 7, 1)
  TEST (5, 0, 7, 1)
  TEST (6, 0, 7, 1)
  TEST (7, 0, 7, 1)
  TEST (0, 1, 7, 1)
  TEST (1, 1, 7, 1)
  TEST (2, 1, 7, 1)
  TEST (3, 1, 7, 1)
  TEST (4, 1, 7, 1)
  TEST (5, 1, 7, 1)
  TEST (6, 1, 7, 1)
  TEST (7, 1, 7, 1)
  TEST (0, 2, 7, 1)
  TEST (1, 2, 7, 1)
  TEST (2, 2, 7, 1)
  TEST (3, 2, 7, 1)
  TEST (4, 2, 7, 1)
  TEST (5, 2, 7, 1)
  TEST (6, 2, 7, 1)
  TEST (7, 2, 7, 1)
  TEST (0, 3, 7, 1)
  TEST (1, 3, 7, 1)
  TEST (2, 3, 7, 1)
  TEST (3, 3, 7, 1)
  TEST (4, 3, 7, 1)
  TEST (5, 3, 7, 1)
  TEST (6, 3, 7, 1)
  TEST (7, 3, 7, 1)
  TEST (0, 4, 7, 1)
  TEST (1, 4, 7, 1)
  TEST (2, 4, 7, 1)
  TEST (3, 4, 7, 1)
  TEST (4, 4, 7, 1)
  TEST (5, 4, 7, 1)
  TEST (6, 4, 7, 1)
  TEST (7, 4, 7, 1)
  TEST (0, 5, 7, 1)
  TEST (1, 5, 7, 1)
  TEST (2, 5, 7, 1)
  TEST (3, 5, 7, 1)
  TEST (4, 5, 7, 1)
  TEST (5, 5, 7, 1)
  TEST (6, 5, 7, 1)
  TEST (7, 5, 7, 1)
  TEST (0, 6, 7, 1)
  TEST (1, 6, 7, 1)
  TEST (2, 6, 7, 1)
  TEST (3, 6, 7, 1)
  TEST (4, 6, 7, 1)
  TEST (5, 6, 7, 1)
  TEST (6, 6, 7, 1)
  TEST (7, 6, 7, 1)
  TEST (0, 7, 7, 1)
  TEST (1, 7, 7, 1)
  TEST (2, 7, 7, 1)
  TEST (3, 7, 7, 1)
  TEST (4, 7, 7, 1)
  TEST (5, 7, 7, 1)
  TEST (6, 7, 7, 1)
  TEST (7, 7, 7, 1)
}

void check8(void)
{
  TEST (0, 0, 0, 2)
  TEST (1, 0, 0, 2)
  TEST (2, 0, 0, 2)
  TEST (3, 0, 0, 2)
  TEST (4, 0, 0, 2)
  TEST (5, 0, 0, 2)
  TEST (6, 0, 0, 2)
  TEST (7, 0, 0, 2)
  TEST (0, 1, 0, 2)
  TEST (1, 1, 0, 2)
  TEST (2, 1, 0, 2)
  TEST (3, 1, 0, 2)
  TEST (4, 1, 0, 2)
  TEST (5, 1, 0, 2)
  TEST (6, 1, 0, 2)
  TEST (7, 1, 0, 2)
  TEST (0, 2, 0, 2)
  TEST (1, 2, 0, 2)
  TEST (2, 2, 0, 2)
  TEST (3, 2, 0, 2)
  TEST (4, 2, 0, 2)
  TEST (5, 2, 0, 2)
  TEST (6, 2, 0, 2)
  TEST (7, 2, 0, 2)
  TEST (0, 3, 0, 2)
  TEST (1, 3, 0, 2)
  TEST (2, 3, 0, 2)
  TEST (3, 3, 0, 2)
  TEST (4, 3, 0, 2)
  TEST (5, 3, 0, 2)
  TEST (6, 3, 0, 2)
  TEST (7, 3, 0, 2)
  TEST (0, 4, 0, 2)
  TEST (1, 4, 0, 2)
  TEST (2, 4, 0, 2)
  TEST (3, 4, 0, 2)
  TEST (4, 4, 0, 2)
  TEST (5, 4, 0, 2)
  TEST (6, 4, 0, 2)
  TEST (7, 4, 0, 2)
  TEST (0, 5, 0, 2)
  TEST (1, 5, 0, 2)
  TEST (2, 5, 0, 2)
  TEST (3, 5, 0, 2)
  TEST (4, 5, 0, 2)
  TEST (5, 5, 0, 2)
  TEST (6, 5, 0, 2)
  TEST (7, 5, 0, 2)
  TEST (0, 6, 0, 2)
  TEST (1, 6, 0, 2)
  TEST (2, 6, 0, 2)
  TEST (3, 6, 0, 2)
  TEST (4, 6, 0, 2)
  TEST (5, 6, 0, 2)
  TEST (6, 6, 0, 2)
  TEST (7, 6, 0, 2)
  TEST (0, 7, 0, 2)
  TEST (1, 7, 0, 2)
  TEST (2, 7, 0, 2)
  TEST (3, 7, 0, 2)
  TEST (4, 7, 0, 2)
  TEST (5, 7, 0, 2)
  TEST (6, 7, 0, 2)
  TEST (7, 7, 0, 2)
  TEST (0, 0, 1, 2)
  TEST (1, 0, 1, 2)
  TEST (2, 0, 1, 2)
  TEST (3, 0, 1, 2)
  TEST (4, 0, 1, 2)
  TEST (5, 0, 1, 2)
  TEST (6, 0, 1, 2)
  TEST (7, 0, 1, 2)
  TEST (0, 1, 1, 2)
  TEST (1, 1, 1, 2)
  TEST (2, 1, 1, 2)
  TEST (3, 1, 1, 2)
  TEST (4, 1, 1, 2)
  TEST (5, 1, 1, 2)
  TEST (6, 1, 1, 2)
  TEST (7, 1, 1, 2)
  TEST (0, 2, 1, 2)
  TEST (1, 2, 1, 2)
  TEST (2, 2, 1, 2)
  TEST (3, 2, 1, 2)
  TEST (4, 2, 1, 2)
  TEST (5, 2, 1, 2)
  TEST (6, 2, 1, 2)
  TEST (7, 2, 1, 2)
  TEST (0, 3, 1, 2)
  TEST (1, 3, 1, 2)
  TEST (2, 3, 1, 2)
  TEST (3, 3, 1, 2)
  TEST (4, 3, 1, 2)
  TEST (5, 3, 1, 2)
  TEST (6, 3, 1, 2)
  TEST (7, 3, 1, 2)
  TEST (0, 4, 1, 2)
  TEST (1, 4, 1, 2)
  TEST (2, 4, 1, 2)
  TEST (3, 4, 1, 2)
  TEST (4, 4, 1, 2)
  TEST (5, 4, 1, 2)
  TEST (6, 4, 1, 2)
  TEST (7, 4, 1, 2)
  TEST (0, 5, 1, 2)
  TEST (1, 5, 1, 2)
  TEST (2, 5, 1, 2)
  TEST (3, 5, 1, 2)
  TEST (4, 5, 1, 2)
  TEST (5, 5, 1, 2)
  TEST (6, 5, 1, 2)
  TEST (7, 5, 1, 2)
  TEST (0, 6, 1, 2)
  TEST (1, 6, 1, 2)
  TEST (2, 6, 1, 2)
  TEST (3, 6, 1, 2)
  TEST (4, 6, 1, 2)
  TEST (5, 6, 1, 2)
  TEST (6, 6, 1, 2)
  TEST (7, 6, 1, 2)
  TEST (0, 7, 1, 2)
  TEST (1, 7, 1, 2)
  TEST (2, 7, 1, 2)
  TEST (3, 7, 1, 2)
  TEST (4, 7, 1, 2)
  TEST (5, 7, 1, 2)
  TEST (6, 7, 1, 2)
  TEST (7, 7, 1, 2)
}

void check9(void)
{
  TEST (0, 0, 2, 2)
  TEST (1, 0, 2, 2)
  TEST (2, 0, 2, 2)
  TEST (3, 0, 2, 2)
  TEST (4, 0, 2, 2)
  TEST (5, 0, 2, 2)
  TEST (6, 0, 2, 2)
  TEST (7, 0, 2, 2)
  TEST (0, 1, 2, 2)
  TEST (1, 1, 2, 2)
  TEST (2, 1, 2, 2)
  TEST (3, 1, 2, 2)
  TEST (4, 1, 2, 2)
  TEST (5, 1, 2, 2)
  TEST (6, 1, 2, 2)
  TEST (7, 1, 2, 2)
  TEST (0, 2, 2, 2)
  TEST (1, 2, 2, 2)
  TEST (2, 2, 2, 2)
  TEST (3, 2, 2, 2)
  TEST (4, 2, 2, 2)
  TEST (5, 2, 2, 2)
  TEST (6, 2, 2, 2)
  TEST (7, 2, 2, 2)
  TEST (0, 3, 2, 2)
  TEST (1, 3, 2, 2)
  TEST (2, 3, 2, 2)
  TEST (3, 3, 2, 2)
  TEST (4, 3, 2, 2)
  TEST (5, 3, 2, 2)
  TEST (6, 3, 2, 2)
  TEST (7, 3, 2, 2)
  TEST (0, 4, 2, 2)
  TEST (1, 4, 2, 2)
  TEST (2, 4, 2, 2)
  TEST (3, 4, 2, 2)
  TEST (4, 4, 2, 2)
  TEST (5, 4, 2, 2)
  TEST (6, 4, 2, 2)
  TEST (7, 4, 2, 2)
  TEST (0, 5, 2, 2)
  TEST (1, 5, 2, 2)
  TEST (2, 5, 2, 2)
  TEST (3, 5, 2, 2)
  TEST (4, 5, 2, 2)
  TEST (5, 5, 2, 2)
  TEST (6, 5, 2, 2)
  TEST (7, 5, 2, 2)
  TEST (0, 6, 2, 2)
  TEST (1, 6, 2, 2)
  TEST (2, 6, 2, 2)
  TEST (3, 6, 2, 2)
  TEST (4, 6, 2, 2)
  TEST (5, 6, 2, 2)
  TEST (6, 6, 2, 2)
  TEST (7, 6, 2, 2)
  TEST (0, 7, 2, 2)
  TEST (1, 7, 2, 2)
  TEST (2, 7, 2, 2)
  TEST (3, 7, 2, 2)
  TEST (4, 7, 2, 2)
  TEST (5, 7, 2, 2)
  TEST (6, 7, 2, 2)
  TEST (7, 7, 2, 2)
  TEST (0, 0, 3, 2)
  TEST (1, 0, 3, 2)
  TEST (2, 0, 3, 2)
  TEST (3, 0, 3, 2)
  TEST (4, 0, 3, 2)
  TEST (5, 0, 3, 2)
  TEST (6, 0, 3, 2)
  TEST (7, 0, 3, 2)
  TEST (0, 1, 3, 2)
  TEST (1, 1, 3, 2)
  TEST (2, 1, 3, 2)
  TEST (3, 1, 3, 2)
  TEST (4, 1, 3, 2)
  TEST (5, 1, 3, 2)
  TEST (6, 1, 3, 2)
  TEST (7, 1, 3, 2)
  TEST (0, 2, 3, 2)
  TEST (1, 2, 3, 2)
  TEST (2, 2, 3, 2)
  TEST (3, 2, 3, 2)
  TEST (4, 2, 3, 2)
  TEST (5, 2, 3, 2)
  TEST (6, 2, 3, 2)
  TEST (7, 2, 3, 2)
  TEST (0, 3, 3, 2)
  TEST (1, 3, 3, 2)
  TEST (2, 3, 3, 2)
  TEST (3, 3, 3, 2)
  TEST (4, 3, 3, 2)
  TEST (5, 3, 3, 2)
  TEST (6, 3, 3, 2)
  TEST (7, 3, 3, 2)
  TEST (0, 4, 3, 2)
  TEST (1, 4, 3, 2)
  TEST (2, 4, 3, 2)
  TEST (3, 4, 3, 2)
  TEST (4, 4, 3, 2)
  TEST (5, 4, 3, 2)
  TEST (6, 4, 3, 2)
  TEST (7, 4, 3, 2)
  TEST (0, 5, 3, 2)
  TEST (1, 5, 3, 2)
  TEST (2, 5, 3, 2)
  TEST (3, 5, 3, 2)
  TEST (4, 5, 3, 2)
  TEST (5, 5, 3, 2)
  TEST (6, 5, 3, 2)
  TEST (7, 5, 3, 2)
  TEST (0, 6, 3, 2)
  TEST (1, 6, 3, 2)
  TEST (2, 6, 3, 2)
  TEST (3, 6, 3, 2)
  TEST (4, 6, 3, 2)
  TEST (5, 6, 3, 2)
  TEST (6, 6, 3, 2)
  TEST (7, 6, 3, 2)
  TEST (0, 7, 3, 2)
  TEST (1, 7, 3, 2)
  TEST (2, 7, 3, 2)
  TEST (3, 7, 3, 2)
  TEST (4, 7, 3, 2)
  TEST (5, 7, 3, 2)
  TEST (6, 7, 3, 2)
  TEST (7, 7, 3, 2)
}

void check10(void)
{
  TEST (0, 0, 4, 2)
  TEST (1, 0, 4, 2)
  TEST (2, 0, 4, 2)
  TEST (3, 0, 4, 2)
  TEST (4, 0, 4, 2)
  TEST (5, 0, 4, 2)
  TEST (6, 0, 4, 2)
  TEST (7, 0, 4, 2)
  TEST (0, 1, 4, 2)
  TEST (1, 1, 4, 2)
  TEST (2, 1, 4, 2)
  TEST (3, 1, 4, 2)
  TEST (4, 1, 4, 2)
  TEST (5, 1, 4, 2)
  TEST (6, 1, 4, 2)
  TEST (7, 1, 4, 2)
  TEST (0, 2, 4, 2)
  TEST (1, 2, 4, 2)
  TEST (2, 2, 4, 2)
  TEST (3, 2, 4, 2)
  TEST (4, 2, 4, 2)
  TEST (5, 2, 4, 2)
  TEST (6, 2, 4, 2)
  TEST (7, 2, 4, 2)
  TEST (0, 3, 4, 2)
  TEST (1, 3, 4, 2)
  TEST (2, 3, 4, 2)
  TEST (3, 3, 4, 2)
  TEST (4, 3, 4, 2)
  TEST (5, 3, 4, 2)
  TEST (6, 3, 4, 2)
  TEST (7, 3, 4, 2)
  TEST (0, 4, 4, 2)
  TEST (1, 4, 4, 2)
  TEST (2, 4, 4, 2)
  TEST (3, 4, 4, 2)
  TEST (4, 4, 4, 2)
  TEST (5, 4, 4, 2)
  TEST (6, 4, 4, 2)
  TEST (7, 4, 4, 2)
  TEST (0, 5, 4, 2)
  TEST (1, 5, 4, 2)
  TEST (2, 5, 4, 2)
  TEST (3, 5, 4, 2)
  TEST (4, 5, 4, 2)
  TEST (5, 5, 4, 2)
  TEST (6, 5, 4, 2)
  TEST (7, 5, 4, 2)
  TEST (0, 6, 4, 2)
  TEST (1, 6, 4, 2)
  TEST (2, 6, 4, 2)
  TEST (3, 6, 4, 2)
  TEST (4, 6, 4, 2)
  TEST (5, 6, 4, 2)
  TEST (6, 6, 4, 2)
  TEST (7, 6, 4, 2)
  TEST (0, 7, 4, 2)
  TEST (1, 7, 4, 2)
  TEST (2, 7, 4, 2)
  TEST (3, 7, 4, 2)
  TEST (4, 7, 4, 2)
  TEST (5, 7, 4, 2)
  TEST (6, 7, 4, 2)
  TEST (7, 7, 4, 2)
  TEST (0, 0, 5, 2)
  TEST (1, 0, 5, 2)
  TEST (2, 0, 5, 2)
  TEST (3, 0, 5, 2)
  TEST (4, 0, 5, 2)
  TEST (5, 0, 5, 2)
  TEST (6, 0, 5, 2)
  TEST (7, 0, 5, 2)
  TEST (0, 1, 5, 2)
  TEST (1, 1, 5, 2)
  TEST (2, 1, 5, 2)
  TEST (3, 1, 5, 2)
  TEST (4, 1, 5, 2)
  TEST (5, 1, 5, 2)
  TEST (6, 1, 5, 2)
  TEST (7, 1, 5, 2)
  TEST (0, 2, 5, 2)
  TEST (1, 2, 5, 2)
  TEST (2, 2, 5, 2)
  TEST (3, 2, 5, 2)
  TEST (4, 2, 5, 2)
  TEST (5, 2, 5, 2)
  TEST (6, 2, 5, 2)
  TEST (7, 2, 5, 2)
  TEST (0, 3, 5, 2)
  TEST (1, 3, 5, 2)
  TEST (2, 3, 5, 2)
  TEST (3, 3, 5, 2)
  TEST (4, 3, 5, 2)
  TEST (5, 3, 5, 2)
  TEST (6, 3, 5, 2)
  TEST (7, 3, 5, 2)
  TEST (0, 4, 5, 2)
  TEST (1, 4, 5, 2)
  TEST (2, 4, 5, 2)
  TEST (3, 4, 5, 2)
  TEST (4, 4, 5, 2)
  TEST (5, 4, 5, 2)
  TEST (6, 4, 5, 2)
  TEST (7, 4, 5, 2)
  TEST (0, 5, 5, 2)
  TEST (1, 5, 5, 2)
  TEST (2, 5, 5, 2)
  TEST (3, 5, 5, 2)
  TEST (4, 5, 5, 2)
  TEST (5, 5, 5, 2)
  TEST (6, 5, 5, 2)
  TEST (7, 5, 5, 2)
  TEST (0, 6, 5, 2)
  TEST (1, 6, 5, 2)
  TEST (2, 6, 5, 2)
  TEST (3, 6, 5, 2)
  TEST (4, 6, 5, 2)
  TEST (5, 6, 5, 2)
  TEST (6, 6, 5, 2)
  TEST (7, 6, 5, 2)
  TEST (0, 7, 5, 2)
  TEST (1, 7, 5, 2)
  TEST (2, 7, 5, 2)
  TEST (3, 7, 5, 2)
  TEST (4, 7, 5, 2)
  TEST (5, 7, 5, 2)
  TEST (6, 7, 5, 2)
  TEST (7, 7, 5, 2)
}

void check11(void)
{
  TEST (0, 0, 6, 2)
  TEST (1, 0, 6, 2)
  TEST (2, 0, 6, 2)
  TEST (3, 0, 6, 2)
  TEST (4, 0, 6, 2)
  TEST (5, 0, 6, 2)
  TEST (6, 0, 6, 2)
  TEST (7, 0, 6, 2)
  TEST (0, 1, 6, 2)
  TEST (1, 1, 6, 2)
  TEST (2, 1, 6, 2)
  TEST (3, 1, 6, 2)
  TEST (4, 1, 6, 2)
  TEST (5, 1, 6, 2)
  TEST (6, 1, 6, 2)
  TEST (7, 1, 6, 2)
  TEST (0, 2, 6, 2)
  TEST (1, 2, 6, 2)
  TEST (2, 2, 6, 2)
  TEST (3, 2, 6, 2)
  TEST (4, 2, 6, 2)
  TEST (5, 2, 6, 2)
  TEST (6, 2, 6, 2)
  TEST (7, 2, 6, 2)
  TEST (0, 3, 6, 2)
  TEST (1, 3, 6, 2)
  TEST (2, 3, 6, 2)
  TEST (3, 3, 6, 2)
  TEST (4, 3, 6, 2)
  TEST (5, 3, 6, 2)
  TEST (6, 3, 6, 2)
  TEST (7, 3, 6, 2)
  TEST (0, 4, 6, 2)
  TEST (1, 4, 6, 2)
  TEST (2, 4, 6, 2)
  TEST (3, 4, 6, 2)
  TEST (4, 4, 6, 2)
  TEST (5, 4, 6, 2)
  TEST (6, 4, 6, 2)
  TEST (7, 4, 6, 2)
  TEST (0, 5, 6, 2)
  TEST (1, 5, 6, 2)
  TEST (2, 5, 6, 2)
  TEST (3, 5, 6, 2)
  TEST (4, 5, 6, 2)
  TEST (5, 5, 6, 2)
  TEST (6, 5, 6, 2)
  TEST (7, 5, 6, 2)
  TEST (0, 6, 6, 2)
  TEST (1, 6, 6, 2)
  TEST (2, 6, 6, 2)
  TEST (3, 6, 6, 2)
  TEST (4, 6, 6, 2)
  TEST (5, 6, 6, 2)
  TEST (6, 6, 6, 2)
  TEST (7, 6, 6, 2)
  TEST (0, 7, 6, 2)
  TEST (1, 7, 6, 2)
  TEST (2, 7, 6, 2)
  TEST (3, 7, 6, 2)
  TEST (4, 7, 6, 2)
  TEST (5, 7, 6, 2)
  TEST (6, 7, 6, 2)
  TEST (7, 7, 6, 2)
  TEST (0, 0, 7, 2)
  TEST (1, 0, 7, 2)
  TEST (2, 0, 7, 2)
  TEST (3, 0, 7, 2)
  TEST (4, 0, 7, 2)
  TEST (5, 0, 7, 2)
  TEST (6, 0, 7, 2)
  TEST (7, 0, 7, 2)
  TEST (0, 1, 7, 2)
  TEST (1, 1, 7, 2)
  TEST (2, 1, 7, 2)
  TEST (3, 1, 7, 2)
  TEST (4, 1, 7, 2)
  TEST (5, 1, 7, 2)
  TEST (6, 1, 7, 2)
  TEST (7, 1, 7, 2)
  TEST (0, 2, 7, 2)
  TEST (1, 2, 7, 2)
  TEST (2, 2, 7, 2)
  TEST (3, 2, 7, 2)
  TEST (4, 2, 7, 2)
  TEST (5, 2, 7, 2)
  TEST (6, 2, 7, 2)
  TEST (7, 2, 7, 2)
  TEST (0, 3, 7, 2)
  TEST (1, 3, 7, 2)
  TEST (2, 3, 7, 2)
  TEST (3, 3, 7, 2)
  TEST (4, 3, 7, 2)
  TEST (5, 3, 7, 2)
  TEST (6, 3, 7, 2)
  TEST (7, 3, 7, 2)
  TEST (0, 4, 7, 2)
  TEST (1, 4, 7, 2)
  TEST (2, 4, 7, 2)
  TEST (3, 4, 7, 2)
  TEST (4, 4, 7, 2)
  TEST (5, 4, 7, 2)
  TEST (6, 4, 7, 2)
  TEST (7, 4, 7, 2)
  TEST (0, 5, 7, 2)
  TEST (1, 5, 7, 2)
  TEST (2, 5, 7, 2)
  TEST (3, 5, 7, 2)
  TEST (4, 5, 7, 2)
  TEST (5, 5, 7, 2)
  TEST (6, 5, 7, 2)
  TEST (7, 5, 7, 2)
  TEST (0, 6, 7, 2)
  TEST (1, 6, 7, 2)
  TEST (2, 6, 7, 2)
  TEST (3, 6, 7, 2)
  TEST (4, 6, 7, 2)
  TEST (5, 6, 7, 2)
  TEST (6, 6, 7, 2)
  TEST (7, 6, 7, 2)
  TEST (0, 7, 7, 2)
  TEST (1, 7, 7, 2)
  TEST (2, 7, 7, 2)
  TEST (3, 7, 7, 2)
  TEST (4, 7, 7, 2)
  TEST (5, 7, 7, 2)
  TEST (6, 7, 7, 2)
  TEST (7, 7, 7, 2)
}

void check12(void)
{
  TEST (0, 0, 0, 3)
  TEST (1, 0, 0, 3)
  TEST (2, 0, 0, 3)
  TEST (3, 0, 0, 3)
  TEST (4, 0, 0, 3)
  TEST (5, 0, 0, 3)
  TEST (6, 0, 0, 3)
  TEST (7, 0, 0, 3)
  TEST (0, 1, 0, 3)
  TEST (1, 1, 0, 3)
  TEST (2, 1, 0, 3)
  TEST (3, 1, 0, 3)
  TEST (4, 1, 0, 3)
  TEST (5, 1, 0, 3)
  TEST (6, 1, 0, 3)
  TEST (7, 1, 0, 3)
  TEST (0, 2, 0, 3)
  TEST (1, 2, 0, 3)
  TEST (2, 2, 0, 3)
  TEST (3, 2, 0, 3)
  TEST (4, 2, 0, 3)
  TEST (5, 2, 0, 3)
  TEST (6, 2, 0, 3)
  TEST (7, 2, 0, 3)
  TEST (0, 3, 0, 3)
  TEST (1, 3, 0, 3)
  TEST (2, 3, 0, 3)
  TEST (3, 3, 0, 3)
  TEST (4, 3, 0, 3)
  TEST (5, 3, 0, 3)
  TEST (6, 3, 0, 3)
  TEST (7, 3, 0, 3)
  TEST (0, 4, 0, 3)
  TEST (1, 4, 0, 3)
  TEST (2, 4, 0, 3)
  TEST (3, 4, 0, 3)
  TEST (4, 4, 0, 3)
  TEST (5, 4, 0, 3)
  TEST (6, 4, 0, 3)
  TEST (7, 4, 0, 3)
  TEST (0, 5, 0, 3)
  TEST (1, 5, 0, 3)
  TEST (2, 5, 0, 3)
  TEST (3, 5, 0, 3)
  TEST (4, 5, 0, 3)
  TEST (5, 5, 0, 3)
  TEST (6, 5, 0, 3)
  TEST (7, 5, 0, 3)
  TEST (0, 6, 0, 3)
  TEST (1, 6, 0, 3)
  TEST (2, 6, 0, 3)
  TEST (3, 6, 0, 3)
  TEST (4, 6, 0, 3)
  TEST (5, 6, 0, 3)
  TEST (6, 6, 0, 3)
  TEST (7, 6, 0, 3)
  TEST (0, 7, 0, 3)
  TEST (1, 7, 0, 3)
  TEST (2, 7, 0, 3)
  TEST (3, 7, 0, 3)
  TEST (4, 7, 0, 3)
  TEST (5, 7, 0, 3)
  TEST (6, 7, 0, 3)
  TEST (7, 7, 0, 3)
  TEST (0, 0, 1, 3)
  TEST (1, 0, 1, 3)
  TEST (2, 0, 1, 3)
  TEST (3, 0, 1, 3)
  TEST (4, 0, 1, 3)
  TEST (5, 0, 1, 3)
  TEST (6, 0, 1, 3)
  TEST (7, 0, 1, 3)
  TEST (0, 1, 1, 3)
  TEST (1, 1, 1, 3)
  TEST (2, 1, 1, 3)
  TEST (3, 1, 1, 3)
  TEST (4, 1, 1, 3)
  TEST (5, 1, 1, 3)
  TEST (6, 1, 1, 3)
  TEST (7, 1, 1, 3)
  TEST (0, 2, 1, 3)
  TEST (1, 2, 1, 3)
  TEST (2, 2, 1, 3)
  TEST (3, 2, 1, 3)
  TEST (4, 2, 1, 3)
  TEST (5, 2, 1, 3)
  TEST (6, 2, 1, 3)
  TEST (7, 2, 1, 3)
  TEST (0, 3, 1, 3)
  TEST (1, 3, 1, 3)
  TEST (2, 3, 1, 3)
  TEST (3, 3, 1, 3)
  TEST (4, 3, 1, 3)
  TEST (5, 3, 1, 3)
  TEST (6, 3, 1, 3)
  TEST (7, 3, 1, 3)
  TEST (0, 4, 1, 3)
  TEST (1, 4, 1, 3)
  TEST (2, 4, 1, 3)
  TEST (3, 4, 1, 3)
  TEST (4, 4, 1, 3)
  TEST (5, 4, 1, 3)
  TEST (6, 4, 1, 3)
  TEST (7, 4, 1, 3)
  TEST (0, 5, 1, 3)
  TEST (1, 5, 1, 3)
  TEST (2, 5, 1, 3)
  TEST (3, 5, 1, 3)
  TEST (4, 5, 1, 3)
  TEST (5, 5, 1, 3)
  TEST (6, 5, 1, 3)
  TEST (7, 5, 1, 3)
  TEST (0, 6, 1, 3)
  TEST (1, 6, 1, 3)
  TEST (2, 6, 1, 3)
  TEST (3, 6, 1, 3)
  TEST (4, 6, 1, 3)
  TEST (5, 6, 1, 3)
  TEST (6, 6, 1, 3)
  TEST (7, 6, 1, 3)
  TEST (0, 7, 1, 3)
  TEST (1, 7, 1, 3)
  TEST (2, 7, 1, 3)
  TEST (3, 7, 1, 3)
  TEST (4, 7, 1, 3)
  TEST (5, 7, 1, 3)
  TEST (6, 7, 1, 3)
  TEST (7, 7, 1, 3)
}

void check13(void)
{
  TEST (0, 0, 2, 3)
  TEST (1, 0, 2, 3)
  TEST (2, 0, 2, 3)
  TEST (3, 0, 2, 3)
  TEST (4, 0, 2, 3)
  TEST (5, 0, 2, 3)
  TEST (6, 0, 2, 3)
  TEST (7, 0, 2, 3)
  TEST (0, 1, 2, 3)
  TEST (1, 1, 2, 3)
  TEST (2, 1, 2, 3)
  TEST (3, 1, 2, 3)
  TEST (4, 1, 2, 3)
  TEST (5, 1, 2, 3)
  TEST (6, 1, 2, 3)
  TEST (7, 1, 2, 3)
  TEST (0, 2, 2, 3)
  TEST (1, 2, 2, 3)
  TEST (2, 2, 2, 3)
  TEST (3, 2, 2, 3)
  TEST (4, 2, 2, 3)
  TEST (5, 2, 2, 3)
  TEST (6, 2, 2, 3)
  TEST (7, 2, 2, 3)
  TEST (0, 3, 2, 3)
  TEST (1, 3, 2, 3)
  TEST (2, 3, 2, 3)
  TEST (3, 3, 2, 3)
  TEST (4, 3, 2, 3)
  TEST (5, 3, 2, 3)
  TEST (6, 3, 2, 3)
  TEST (7, 3, 2, 3)
  TEST (0, 4, 2, 3)
  TEST (1, 4, 2, 3)
  TEST (2, 4, 2, 3)
  TEST (3, 4, 2, 3)
  TEST (4, 4, 2, 3)
  TEST (5, 4, 2, 3)
  TEST (6, 4, 2, 3)
  TEST (7, 4, 2, 3)
  TEST (0, 5, 2, 3)
  TEST (1, 5, 2, 3)
  TEST (2, 5, 2, 3)
  TEST (3, 5, 2, 3)
  TEST (4, 5, 2, 3)
  TEST (5, 5, 2, 3)
  TEST (6, 5, 2, 3)
  TEST (7, 5, 2, 3)
  TEST (0, 6, 2, 3)
  TEST (1, 6, 2, 3)
  TEST (2, 6, 2, 3)
  TEST (3, 6, 2, 3)
  TEST (4, 6, 2, 3)
  TEST (5, 6, 2, 3)
  TEST (6, 6, 2, 3)
  TEST (7, 6, 2, 3)
  TEST (0, 7, 2, 3)
  TEST (1, 7, 2, 3)
  TEST (2, 7, 2, 3)
  TEST (3, 7, 2, 3)
  TEST (4, 7, 2, 3)
  TEST (5, 7, 2, 3)
  TEST (6, 7, 2, 3)
  TEST (7, 7, 2, 3)
  TEST (0, 0, 3, 3)
  TEST (1, 0, 3, 3)
  TEST (2, 0, 3, 3)
  TEST (3, 0, 3, 3)
  TEST (4, 0, 3, 3)
  TEST (5, 0, 3, 3)
  TEST (6, 0, 3, 3)
  TEST (7, 0, 3, 3)
  TEST (0, 1, 3, 3)
  TEST (1, 1, 3, 3)
  TEST (2, 1, 3, 3)
  TEST (3, 1, 3, 3)
  TEST (4, 1, 3, 3)
  TEST (5, 1, 3, 3)
  TEST (6, 1, 3, 3)
  TEST (7, 1, 3, 3)
  TEST (0, 2, 3, 3)
  TEST (1, 2, 3, 3)
  TEST (2, 2, 3, 3)
  TEST (3, 2, 3, 3)
  TEST (4, 2, 3, 3)
  TEST (5, 2, 3, 3)
  TEST (6, 2, 3, 3)
  TEST (7, 2, 3, 3)
  TEST (0, 3, 3, 3)
  TEST (1, 3, 3, 3)
  TEST (2, 3, 3, 3)
  TEST (3, 3, 3, 3)
  TEST (4, 3, 3, 3)
  TEST (5, 3, 3, 3)
  TEST (6, 3, 3, 3)
  TEST (7, 3, 3, 3)
  TEST (0, 4, 3, 3)
  TEST (1, 4, 3, 3)
  TEST (2, 4, 3, 3)
  TEST (3, 4, 3, 3)
  TEST (4, 4, 3, 3)
  TEST (5, 4, 3, 3)
  TEST (6, 4, 3, 3)
  TEST (7, 4, 3, 3)
  TEST (0, 5, 3, 3)
  TEST (1, 5, 3, 3)
  TEST (2, 5, 3, 3)
  TEST (3, 5, 3, 3)
  TEST (4, 5, 3, 3)
  TEST (5, 5, 3, 3)
  TEST (6, 5, 3, 3)
  TEST (7, 5, 3, 3)
  TEST (0, 6, 3, 3)
  TEST (1, 6, 3, 3)
  TEST (2, 6, 3, 3)
  TEST (3, 6, 3, 3)
  TEST (4, 6, 3, 3)
  TEST (5, 6, 3, 3)
  TEST (6, 6, 3, 3)
  TEST (7, 6, 3, 3)
  TEST (0, 7, 3, 3)
  TEST (1, 7, 3, 3)
  TEST (2, 7, 3, 3)
  TEST (3, 7, 3, 3)
  TEST (4, 7, 3, 3)
  TEST (5, 7, 3, 3)
  TEST (6, 7, 3, 3)
  TEST (7, 7, 3, 3)
}

void check14(void)
{
  TEST (0, 0, 4, 3)
  TEST (1, 0, 4, 3)
  TEST (2, 0, 4, 3)
  TEST (3, 0, 4, 3)
  TEST (4, 0, 4, 3)
  TEST (5, 0, 4, 3)
  TEST (6, 0, 4, 3)
  TEST (7, 0, 4, 3)
  TEST (0, 1, 4, 3)
  TEST (1, 1, 4, 3)
  TEST (2, 1, 4, 3)
  TEST (3, 1, 4, 3)
  TEST (4, 1, 4, 3)
  TEST (5, 1, 4, 3)
  TEST (6, 1, 4, 3)
  TEST (7, 1, 4, 3)
  TEST (0, 2, 4, 3)
  TEST (1, 2, 4, 3)
  TEST (2, 2, 4, 3)
  TEST (3, 2, 4, 3)
  TEST (4, 2, 4, 3)
  TEST (5, 2, 4, 3)
  TEST (6, 2, 4, 3)
  TEST (7, 2, 4, 3)
  TEST (0, 3, 4, 3)
  TEST (1, 3, 4, 3)
  TEST (2, 3, 4, 3)
  TEST (3, 3, 4, 3)
  TEST (4, 3, 4, 3)
  TEST (5, 3, 4, 3)
  TEST (6, 3, 4, 3)
  TEST (7, 3, 4, 3)
  TEST (0, 4, 4, 3)
  TEST (1, 4, 4, 3)
  TEST (2, 4, 4, 3)
  TEST (3, 4, 4, 3)
  TEST (4, 4, 4, 3)
  TEST (5, 4, 4, 3)
  TEST (6, 4, 4, 3)
  TEST (7, 4, 4, 3)
  TEST (0, 5, 4, 3)
  TEST (1, 5, 4, 3)
  TEST (2, 5, 4, 3)
  TEST (3, 5, 4, 3)
  TEST (4, 5, 4, 3)
  TEST (5, 5, 4, 3)
  TEST (6, 5, 4, 3)
  TEST (7, 5, 4, 3)
  TEST (0, 6, 4, 3)
  TEST (1, 6, 4, 3)
  TEST (2, 6, 4, 3)
  TEST (3, 6, 4, 3)
  TEST (4, 6, 4, 3)
  TEST (5, 6, 4, 3)
  TEST (6, 6, 4, 3)
  TEST (7, 6, 4, 3)
  TEST (0, 7, 4, 3)
  TEST (1, 7, 4, 3)
  TEST (2, 7, 4, 3)
  TEST (3, 7, 4, 3)
  TEST (4, 7, 4, 3)
  TEST (5, 7, 4, 3)
  TEST (6, 7, 4, 3)
  TEST (7, 7, 4, 3)
  TEST (0, 0, 5, 3)
  TEST (1, 0, 5, 3)
  TEST (2, 0, 5, 3)
  TEST (3, 0, 5, 3)
  TEST (4, 0, 5, 3)
  TEST (5, 0, 5, 3)
  TEST (6, 0, 5, 3)
  TEST (7, 0, 5, 3)
  TEST (0, 1, 5, 3)
  TEST (1, 1, 5, 3)
  TEST (2, 1, 5, 3)
  TEST (3, 1, 5, 3)
  TEST (4, 1, 5, 3)
  TEST (5, 1, 5, 3)
  TEST (6, 1, 5, 3)
  TEST (7, 1, 5, 3)
  TEST (0, 2, 5, 3)
  TEST (1, 2, 5, 3)
  TEST (2, 2, 5, 3)
  TEST (3, 2, 5, 3)
  TEST (4, 2, 5, 3)
  TEST (5, 2, 5, 3)
  TEST (6, 2, 5, 3)
  TEST (7, 2, 5, 3)
  TEST (0, 3, 5, 3)
  TEST (1, 3, 5, 3)
  TEST (2, 3, 5, 3)
  TEST (3, 3, 5, 3)
  TEST (4, 3, 5, 3)
  TEST (5, 3, 5, 3)
  TEST (6, 3, 5, 3)
  TEST (7, 3, 5, 3)
  TEST (0, 4, 5, 3)
  TEST (1, 4, 5, 3)
  TEST (2, 4, 5, 3)
  TEST (3, 4, 5, 3)
  TEST (4, 4, 5, 3)
  TEST (5, 4, 5, 3)
  TEST (6, 4, 5, 3)
  TEST (7, 4, 5, 3)
  TEST (0, 5, 5, 3)
  TEST (1, 5, 5, 3)
  TEST (2, 5, 5, 3)
  TEST (3, 5, 5, 3)
  TEST (4, 5, 5, 3)
  TEST (5, 5, 5, 3)
  TEST (6, 5, 5, 3)
  TEST (7, 5, 5, 3)
  TEST (0, 6, 5, 3)
  TEST (1, 6, 5, 3)
  TEST (2, 6, 5, 3)
  TEST (3, 6, 5, 3)
  TEST (4, 6, 5, 3)
  TEST (5, 6, 5, 3)
  TEST (6, 6, 5, 3)
  TEST (7, 6, 5, 3)
  TEST (0, 7, 5, 3)
  TEST (1, 7, 5, 3)
  TEST (2, 7, 5, 3)
  TEST (3, 7, 5, 3)
  TEST (4, 7, 5, 3)
  TEST (5, 7, 5, 3)
  TEST (6, 7, 5, 3)
  TEST (7, 7, 5, 3)
}

void check15(void)
{
  TEST (0, 0, 6, 3)
  TEST (1, 0, 6, 3)
  TEST (2, 0, 6, 3)
  TEST (3, 0, 6, 3)
  TEST (4, 0, 6, 3)
  TEST (5, 0, 6, 3)
  TEST (6, 0, 6, 3)
  TEST (7, 0, 6, 3)
  TEST (0, 1, 6, 3)
  TEST (1, 1, 6, 3)
  TEST (2, 1, 6, 3)
  TEST (3, 1, 6, 3)
  TEST (4, 1, 6, 3)
  TEST (5, 1, 6, 3)
  TEST (6, 1, 6, 3)
  TEST (7, 1, 6, 3)
  TEST (0, 2, 6, 3)
  TEST (1, 2, 6, 3)
  TEST (2, 2, 6, 3)
  TEST (3, 2, 6, 3)
  TEST (4, 2, 6, 3)
  TEST (5, 2, 6, 3)
  TEST (6, 2, 6, 3)
  TEST (7, 2, 6, 3)
  TEST (0, 3, 6, 3)
  TEST (1, 3, 6, 3)
  TEST (2, 3, 6, 3)
  TEST (3, 3, 6, 3)
  TEST (4, 3, 6, 3)
  TEST (5, 3, 6, 3)
  TEST (6, 3, 6, 3)
  TEST (7, 3, 6, 3)
  TEST (0, 4, 6, 3)
  TEST (1, 4, 6, 3)
  TEST (2, 4, 6, 3)
  TEST (3, 4, 6, 3)
  TEST (4, 4, 6, 3)
  TEST (5, 4, 6, 3)
  TEST (6, 4, 6, 3)
  TEST (7, 4, 6, 3)
  TEST (0, 5, 6, 3)
  TEST (1, 5, 6, 3)
  TEST (2, 5, 6, 3)
  TEST (3, 5, 6, 3)
  TEST (4, 5, 6, 3)
  TEST (5, 5, 6, 3)
  TEST (6, 5, 6, 3)
  TEST (7, 5, 6, 3)
  TEST (0, 6, 6, 3)
  TEST (1, 6, 6, 3)
  TEST (2, 6, 6, 3)
  TEST (3, 6, 6, 3)
  TEST (4, 6, 6, 3)
  TEST (5, 6, 6, 3)
  TEST (6, 6, 6, 3)
  TEST (7, 6, 6, 3)
  TEST (0, 7, 6, 3)
  TEST (1, 7, 6, 3)
  TEST (2, 7, 6, 3)
  TEST (3, 7, 6, 3)
  TEST (4, 7, 6, 3)
  TEST (5, 7, 6, 3)
  TEST (6, 7, 6, 3)
  TEST (7, 7, 6, 3)
  TEST (0, 0, 7, 3)
  TEST (1, 0, 7, 3)
  TEST (2, 0, 7, 3)
  TEST (3, 0, 7, 3)
  TEST (4, 0, 7, 3)
  TEST (5, 0, 7, 3)
  TEST (6, 0, 7, 3)
  TEST (7, 0, 7, 3)
  TEST (0, 1, 7, 3)
  TEST (1, 1, 7, 3)
  TEST (2, 1, 7, 3)
  TEST (3, 1, 7, 3)
  TEST (4, 1, 7, 3)
  TEST (5, 1, 7, 3)
  TEST (6, 1, 7, 3)
  TEST (7, 1, 7, 3)
  TEST (0, 2, 7, 3)
  TEST (1, 2, 7, 3)
  TEST (2, 2, 7, 3)
  TEST (3, 2, 7, 3)
  TEST (4, 2, 7, 3)
  TEST (5, 2, 7, 3)
  TEST (6, 2, 7, 3)
  TEST (7, 2, 7, 3)
  TEST (0, 3, 7, 3)
  TEST (1, 3, 7, 3)
  TEST (2, 3, 7, 3)
  TEST (3, 3, 7, 3)
  TEST (4, 3, 7, 3)
  TEST (5, 3, 7, 3)
  TEST (6, 3, 7, 3)
  TEST (7, 3, 7, 3)
  TEST (0, 4, 7, 3)
  TEST (1, 4, 7, 3)
  TEST (2, 4, 7, 3)
  TEST (3, 4, 7, 3)
  TEST (4, 4, 7, 3)
  TEST (5, 4, 7, 3)
  TEST (6, 4, 7, 3)
  TEST (7, 4, 7, 3)
  TEST (0, 5, 7, 3)
  TEST (1, 5, 7, 3)
  TEST (2, 5, 7, 3)
  TEST (3, 5, 7, 3)
  TEST (4, 5, 7, 3)
  TEST (5, 5, 7, 3)
  TEST (6, 5, 7, 3)
  TEST (7, 5, 7, 3)
  TEST (0, 6, 7, 3)
  TEST (1, 6, 7, 3)
  TEST (2, 6, 7, 3)
  TEST (3, 6, 7, 3)
  TEST (4, 6, 7, 3)
  TEST (5, 6, 7, 3)
  TEST (6, 6, 7, 3)
  TEST (7, 6, 7, 3)
  TEST (0, 7, 7, 3)
  TEST (1, 7, 7, 3)
  TEST (2, 7, 7, 3)
  TEST (3, 7, 7, 3)
  TEST (4, 7, 7, 3)
  TEST (5, 7, 7, 3)
  TEST (6, 7, 7, 3)
  TEST (7, 7, 7, 3)
}

void check16(void)
{
  TEST (0, 0, 0, 4)
  TEST (1, 0, 0, 4)
  TEST (2, 0, 0, 4)
  TEST (3, 0, 0, 4)
  TEST (4, 0, 0, 4)
  TEST (5, 0, 0, 4)
  TEST (6, 0, 0, 4)
  TEST (7, 0, 0, 4)
  TEST (0, 1, 0, 4)
  TEST (1, 1, 0, 4)
  TEST (2, 1, 0, 4)
  TEST (3, 1, 0, 4)
  TEST (4, 1, 0, 4)
  TEST (5, 1, 0, 4)
  TEST (6, 1, 0, 4)
  TEST (7, 1, 0, 4)
  TEST (0, 2, 0, 4)
  TEST (1, 2, 0, 4)
  TEST (2, 2, 0, 4)
  TEST (3, 2, 0, 4)
  TEST (4, 2, 0, 4)
  TEST (5, 2, 0, 4)
  TEST (6, 2, 0, 4)
  TEST (7, 2, 0, 4)
  TEST (0, 3, 0, 4)
  TEST (1, 3, 0, 4)
  TEST (2, 3, 0, 4)
  TEST (3, 3, 0, 4)
  TEST (4, 3, 0, 4)
  TEST (5, 3, 0, 4)
  TEST (6, 3, 0, 4)
  TEST (7, 3, 0, 4)
  TEST (0, 4, 0, 4)
  TEST (1, 4, 0, 4)
  TEST (2, 4, 0, 4)
  TEST (3, 4, 0, 4)
  TEST (4, 4, 0, 4)
  TEST (5, 4, 0, 4)
  TEST (6, 4, 0, 4)
  TEST (7, 4, 0, 4)
  TEST (0, 5, 0, 4)
  TEST (1, 5, 0, 4)
  TEST (2, 5, 0, 4)
  TEST (3, 5, 0, 4)
  TEST (4, 5, 0, 4)
  TEST (5, 5, 0, 4)
  TEST (6, 5, 0, 4)
  TEST (7, 5, 0, 4)
  TEST (0, 6, 0, 4)
  TEST (1, 6, 0, 4)
  TEST (2, 6, 0, 4)
  TEST (3, 6, 0, 4)
  TEST (4, 6, 0, 4)
  TEST (5, 6, 0, 4)
  TEST (6, 6, 0, 4)
  TEST (7, 6, 0, 4)
  TEST (0, 7, 0, 4)
  TEST (1, 7, 0, 4)
  TEST (2, 7, 0, 4)
  TEST (3, 7, 0, 4)
  TEST (4, 7, 0, 4)
  TEST (5, 7, 0, 4)
  TEST (6, 7, 0, 4)
  TEST (7, 7, 0, 4)
  TEST (0, 0, 1, 4)
  TEST (1, 0, 1, 4)
  TEST (2, 0, 1, 4)
  TEST (3, 0, 1, 4)
  TEST (4, 0, 1, 4)
  TEST (5, 0, 1, 4)
  TEST (6, 0, 1, 4)
  TEST (7, 0, 1, 4)
  TEST (0, 1, 1, 4)
  TEST (1, 1, 1, 4)
  TEST (2, 1, 1, 4)
  TEST (3, 1, 1, 4)
  TEST (4, 1, 1, 4)
  TEST (5, 1, 1, 4)
  TEST (6, 1, 1, 4)
  TEST (7, 1, 1, 4)
  TEST (0, 2, 1, 4)
  TEST (1, 2, 1, 4)
  TEST (2, 2, 1, 4)
  TEST (3, 2, 1, 4)
  TEST (4, 2, 1, 4)
  TEST (5, 2, 1, 4)
  TEST (6, 2, 1, 4)
  TEST (7, 2, 1, 4)
  TEST (0, 3, 1, 4)
  TEST (1, 3, 1, 4)
  TEST (2, 3, 1, 4)
  TEST (3, 3, 1, 4)
  TEST (4, 3, 1, 4)
  TEST (5, 3, 1, 4)
  TEST (6, 3, 1, 4)
  TEST (7, 3, 1, 4)
  TEST (0, 4, 1, 4)
  TEST (1, 4, 1, 4)
  TEST (2, 4, 1, 4)
  TEST (3, 4, 1, 4)
  TEST (4, 4, 1, 4)
  TEST (5, 4, 1, 4)
  TEST (6, 4, 1, 4)
  TEST (7, 4, 1, 4)
  TEST (0, 5, 1, 4)
  TEST (1, 5, 1, 4)
  TEST (2, 5, 1, 4)
  TEST (3, 5, 1, 4)
  TEST (4, 5, 1, 4)
  TEST (5, 5, 1, 4)
  TEST (6, 5, 1, 4)
  TEST (7, 5, 1, 4)
  TEST (0, 6, 1, 4)
  TEST (1, 6, 1, 4)
  TEST (2, 6, 1, 4)
  TEST (3, 6, 1, 4)
  TEST (4, 6, 1, 4)
  TEST (5, 6, 1, 4)
  TEST (6, 6, 1, 4)
  TEST (7, 6, 1, 4)
  TEST (0, 7, 1, 4)
  TEST (1, 7, 1, 4)
  TEST (2, 7, 1, 4)
  TEST (3, 7, 1, 4)
  TEST (4, 7, 1, 4)
  TEST (5, 7, 1, 4)
  TEST (6, 7, 1, 4)
  TEST (7, 7, 1, 4)
}

void check17(void)
{
  TEST (0, 0, 2, 4)
  TEST (1, 0, 2, 4)
  TEST (2, 0, 2, 4)
  TEST (3, 0, 2, 4)
  TEST (4, 0, 2, 4)
  TEST (5, 0, 2, 4)
  TEST (6, 0, 2, 4)
  TEST (7, 0, 2, 4)
  TEST (0, 1, 2, 4)
  TEST (1, 1, 2, 4)
  TEST (2, 1, 2, 4)
  TEST (3, 1, 2, 4)
  TEST (4, 1, 2, 4)
  TEST (5, 1, 2, 4)
  TEST (6, 1, 2, 4)
  TEST (7, 1, 2, 4)
  TEST (0, 2, 2, 4)
  TEST (1, 2, 2, 4)
  TEST (2, 2, 2, 4)
  TEST (3, 2, 2, 4)
  TEST (4, 2, 2, 4)
  TEST (5, 2, 2, 4)
  TEST (6, 2, 2, 4)
  TEST (7, 2, 2, 4)
  TEST (0, 3, 2, 4)
  TEST (1, 3, 2, 4)
  TEST (2, 3, 2, 4)
  TEST (3, 3, 2, 4)
  TEST (4, 3, 2, 4)
  TEST (5, 3, 2, 4)
  TEST (6, 3, 2, 4)
  TEST (7, 3, 2, 4)
  TEST (0, 4, 2, 4)
  TEST (1, 4, 2, 4)
  TEST (2, 4, 2, 4)
  TEST (3, 4, 2, 4)
  TEST (4, 4, 2, 4)
  TEST (5, 4, 2, 4)
  TEST (6, 4, 2, 4)
  TEST (7, 4, 2, 4)
  TEST (0, 5, 2, 4)
  TEST (1, 5, 2, 4)
  TEST (2, 5, 2, 4)
  TEST (3, 5, 2, 4)
  TEST (4, 5, 2, 4)
  TEST (5, 5, 2, 4)
  TEST (6, 5, 2, 4)
  TEST (7, 5, 2, 4)
  TEST (0, 6, 2, 4)
  TEST (1, 6, 2, 4)
  TEST (2, 6, 2, 4)
  TEST (3, 6, 2, 4)
  TEST (4, 6, 2, 4)
  TEST (5, 6, 2, 4)
  TEST (6, 6, 2, 4)
  TEST (7, 6, 2, 4)
  TEST (0, 7, 2, 4)
  TEST (1, 7, 2, 4)
  TEST (2, 7, 2, 4)
  TEST (3, 7, 2, 4)
  TEST (4, 7, 2, 4)
  TEST (5, 7, 2, 4)
  TEST (6, 7, 2, 4)
  TEST (7, 7, 2, 4)
  TEST (0, 0, 3, 4)
  TEST (1, 0, 3, 4)
  TEST (2, 0, 3, 4)
  TEST (3, 0, 3, 4)
  TEST (4, 0, 3, 4)
  TEST (5, 0, 3, 4)
  TEST (6, 0, 3, 4)
  TEST (7, 0, 3, 4)
  TEST (0, 1, 3, 4)
  TEST (1, 1, 3, 4)
  TEST (2, 1, 3, 4)
  TEST (3, 1, 3, 4)
  TEST (4, 1, 3, 4)
  TEST (5, 1, 3, 4)
  TEST (6, 1, 3, 4)
  TEST (7, 1, 3, 4)
  TEST (0, 2, 3, 4)
  TEST (1, 2, 3, 4)
  TEST (2, 2, 3, 4)
  TEST (3, 2, 3, 4)
  TEST (4, 2, 3, 4)
  TEST (5, 2, 3, 4)
  TEST (6, 2, 3, 4)
  TEST (7, 2, 3, 4)
  TEST (0, 3, 3, 4)
  TEST (1, 3, 3, 4)
  TEST (2, 3, 3, 4)
  TEST (3, 3, 3, 4)
  TEST (4, 3, 3, 4)
  TEST (5, 3, 3, 4)
  TEST (6, 3, 3, 4)
  TEST (7, 3, 3, 4)
  TEST (0, 4, 3, 4)
  TEST (1, 4, 3, 4)
  TEST (2, 4, 3, 4)
  TEST (3, 4, 3, 4)
  TEST (4, 4, 3, 4)
  TEST (5, 4, 3, 4)
  TEST (6, 4, 3, 4)
  TEST (7, 4, 3, 4)
  TEST (0, 5, 3, 4)
  TEST (1, 5, 3, 4)
  TEST (2, 5, 3, 4)
  TEST (3, 5, 3, 4)
  TEST (4, 5, 3, 4)
  TEST (5, 5, 3, 4)
  TEST (6, 5, 3, 4)
  TEST (7, 5, 3, 4)
  TEST (0, 6, 3, 4)
  TEST (1, 6, 3, 4)
  TEST (2, 6, 3, 4)
  TEST (3, 6, 3, 4)
  TEST (4, 6, 3, 4)
  TEST (5, 6, 3, 4)
  TEST (6, 6, 3, 4)
  TEST (7, 6, 3, 4)
  TEST (0, 7, 3, 4)
  TEST (1, 7, 3, 4)
  TEST (2, 7, 3, 4)
  TEST (3, 7, 3, 4)
  TEST (4, 7, 3, 4)
  TEST (5, 7, 3, 4)
  TEST (6, 7, 3, 4)
  TEST (7, 7, 3, 4)
}

void check18(void)
{
  TEST (0, 0, 4, 4)
  TEST (1, 0, 4, 4)
  TEST (2, 0, 4, 4)
  TEST (3, 0, 4, 4)
  TEST (4, 0, 4, 4)
  TEST (5, 0, 4, 4)
  TEST (6, 0, 4, 4)
  TEST (7, 0, 4, 4)
  TEST (0, 1, 4, 4)
  TEST (1, 1, 4, 4)
  TEST (2, 1, 4, 4)
  TEST (3, 1, 4, 4)
  TEST (4, 1, 4, 4)
  TEST (5, 1, 4, 4)
  TEST (6, 1, 4, 4)
  TEST (7, 1, 4, 4)
  TEST (0, 2, 4, 4)
  TEST (1, 2, 4, 4)
  TEST (2, 2, 4, 4)
  TEST (3, 2, 4, 4)
  TEST (4, 2, 4, 4)
  TEST (5, 2, 4, 4)
  TEST (6, 2, 4, 4)
  TEST (7, 2, 4, 4)
  TEST (0, 3, 4, 4)
  TEST (1, 3, 4, 4)
  TEST (2, 3, 4, 4)
  TEST (3, 3, 4, 4)
  TEST (4, 3, 4, 4)
  TEST (5, 3, 4, 4)
  TEST (6, 3, 4, 4)
  TEST (7, 3, 4, 4)
  TEST (0, 4, 4, 4)
  TEST (1, 4, 4, 4)
  TEST (2, 4, 4, 4)
  TEST (3, 4, 4, 4)
  TEST (4, 4, 4, 4)
  TEST (5, 4, 4, 4)
  TEST (6, 4, 4, 4)
  TEST (7, 4, 4, 4)
  TEST (0, 5, 4, 4)
  TEST (1, 5, 4, 4)
  TEST (2, 5, 4, 4)
  TEST (3, 5, 4, 4)
  TEST (4, 5, 4, 4)
  TEST (5, 5, 4, 4)
  TEST (6, 5, 4, 4)
  TEST (7, 5, 4, 4)
  TEST (0, 6, 4, 4)
  TEST (1, 6, 4, 4)
  TEST (2, 6, 4, 4)
  TEST (3, 6, 4, 4)
  TEST (4, 6, 4, 4)
  TEST (5, 6, 4, 4)
  TEST (6, 6, 4, 4)
  TEST (7, 6, 4, 4)
  TEST (0, 7, 4, 4)
  TEST (1, 7, 4, 4)
  TEST (2, 7, 4, 4)
  TEST (3, 7, 4, 4)
  TEST (4, 7, 4, 4)
  TEST (5, 7, 4, 4)
  TEST (6, 7, 4, 4)
  TEST (7, 7, 4, 4)
  TEST (0, 0, 5, 4)
  TEST (1, 0, 5, 4)
  TEST (2, 0, 5, 4)
  TEST (3, 0, 5, 4)
  TEST (4, 0, 5, 4)
  TEST (5, 0, 5, 4)
  TEST (6, 0, 5, 4)
  TEST (7, 0, 5, 4)
  TEST (0, 1, 5, 4)
  TEST (1, 1, 5, 4)
  TEST (2, 1, 5, 4)
  TEST (3, 1, 5, 4)
  TEST (4, 1, 5, 4)
  TEST (5, 1, 5, 4)
  TEST (6, 1, 5, 4)
  TEST (7, 1, 5, 4)
  TEST (0, 2, 5, 4)
  TEST (1, 2, 5, 4)
  TEST (2, 2, 5, 4)
  TEST (3, 2, 5, 4)
  TEST (4, 2, 5, 4)
  TEST (5, 2, 5, 4)
  TEST (6, 2, 5, 4)
  TEST (7, 2, 5, 4)
  TEST (0, 3, 5, 4)
  TEST (1, 3, 5, 4)
  TEST (2, 3, 5, 4)
  TEST (3, 3, 5, 4)
  TEST (4, 3, 5, 4)
  TEST (5, 3, 5, 4)
  TEST (6, 3, 5, 4)
  TEST (7, 3, 5, 4)
  TEST (0, 4, 5, 4)
  TEST (1, 4, 5, 4)
  TEST (2, 4, 5, 4)
  TEST (3, 4, 5, 4)
  TEST (4, 4, 5, 4)
  TEST (5, 4, 5, 4)
  TEST (6, 4, 5, 4)
  TEST (7, 4, 5, 4)
  TEST (0, 5, 5, 4)
  TEST (1, 5, 5, 4)
  TEST (2, 5, 5, 4)
  TEST (3, 5, 5, 4)
  TEST (4, 5, 5, 4)
  TEST (5, 5, 5, 4)
  TEST (6, 5, 5, 4)
  TEST (7, 5, 5, 4)
  TEST (0, 6, 5, 4)
  TEST (1, 6, 5, 4)
  TEST (2, 6, 5, 4)
  TEST (3, 6, 5, 4)
  TEST (4, 6, 5, 4)
  TEST (5, 6, 5, 4)
  TEST (6, 6, 5, 4)
  TEST (7, 6, 5, 4)
  TEST (0, 7, 5, 4)
  TEST (1, 7, 5, 4)
  TEST (2, 7, 5, 4)
  TEST (3, 7, 5, 4)
  TEST (4, 7, 5, 4)
  TEST (5, 7, 5, 4)
  TEST (6, 7, 5, 4)
  TEST (7, 7, 5, 4)
}

void check19(void)
{
  TEST (0, 0, 6, 4)
  TEST (1, 0, 6, 4)
  TEST (2, 0, 6, 4)
  TEST (3, 0, 6, 4)
  TEST (4, 0, 6, 4)
  TEST (5, 0, 6, 4)
  TEST (6, 0, 6, 4)
  TEST (7, 0, 6, 4)
  TEST (0, 1, 6, 4)
  TEST (1, 1, 6, 4)
  TEST (2, 1, 6, 4)
  TEST (3, 1, 6, 4)
  TEST (4, 1, 6, 4)
  TEST (5, 1, 6, 4)
  TEST (6, 1, 6, 4)
  TEST (7, 1, 6, 4)
  TEST (0, 2, 6, 4)
  TEST (1, 2, 6, 4)
  TEST (2, 2, 6, 4)
  TEST (3, 2, 6, 4)
  TEST (4, 2, 6, 4)
  TEST (5, 2, 6, 4)
  TEST (6, 2, 6, 4)
  TEST (7, 2, 6, 4)
  TEST (0, 3, 6, 4)
  TEST (1, 3, 6, 4)
  TEST (2, 3, 6, 4)
  TEST (3, 3, 6, 4)
  TEST (4, 3, 6, 4)
  TEST (5, 3, 6, 4)
  TEST (6, 3, 6, 4)
  TEST (7, 3, 6, 4)
  TEST (0, 4, 6, 4)
  TEST (1, 4, 6, 4)
  TEST (2, 4, 6, 4)
  TEST (3, 4, 6, 4)
  TEST (4, 4, 6, 4)
  TEST (5, 4, 6, 4)
  TEST (6, 4, 6, 4)
  TEST (7, 4, 6, 4)
  TEST (0, 5, 6, 4)
  TEST (1, 5, 6, 4)
  TEST (2, 5, 6, 4)
  TEST (3, 5, 6, 4)
  TEST (4, 5, 6, 4)
  TEST (5, 5, 6, 4)
  TEST (6, 5, 6, 4)
  TEST (7, 5, 6, 4)
  TEST (0, 6, 6, 4)
  TEST (1, 6, 6, 4)
  TEST (2, 6, 6, 4)
  TEST (3, 6, 6, 4)
  TEST (4, 6, 6, 4)
  TEST (5, 6, 6, 4)
  TEST (6, 6, 6, 4)
  TEST (7, 6, 6, 4)
  TEST (0, 7, 6, 4)
  TEST (1, 7, 6, 4)
  TEST (2, 7, 6, 4)
  TEST (3, 7, 6, 4)
  TEST (4, 7, 6, 4)
  TEST (5, 7, 6, 4)
  TEST (6, 7, 6, 4)
  TEST (7, 7, 6, 4)
  TEST (0, 0, 7, 4)
  TEST (1, 0, 7, 4)
  TEST (2, 0, 7, 4)
  TEST (3, 0, 7, 4)
  TEST (4, 0, 7, 4)
  TEST (5, 0, 7, 4)
  TEST (6, 0, 7, 4)
  TEST (7, 0, 7, 4)
  TEST (0, 1, 7, 4)
  TEST (1, 1, 7, 4)
  TEST (2, 1, 7, 4)
  TEST (3, 1, 7, 4)
  TEST (4, 1, 7, 4)
  TEST (5, 1, 7, 4)
  TEST (6, 1, 7, 4)
  TEST (7, 1, 7, 4)
  TEST (0, 2, 7, 4)
  TEST (1, 2, 7, 4)
  TEST (2, 2, 7, 4)
  TEST (3, 2, 7, 4)
  TEST (4, 2, 7, 4)
  TEST (5, 2, 7, 4)
  TEST (6, 2, 7, 4)
  TEST (7, 2, 7, 4)
  TEST (0, 3, 7, 4)
  TEST (1, 3, 7, 4)
  TEST (2, 3, 7, 4)
  TEST (3, 3, 7, 4)
  TEST (4, 3, 7, 4)
  TEST (5, 3, 7, 4)
  TEST (6, 3, 7, 4)
  TEST (7, 3, 7, 4)
  TEST (0, 4, 7, 4)
  TEST (1, 4, 7, 4)
  TEST (2, 4, 7, 4)
  TEST (3, 4, 7, 4)
  TEST (4, 4, 7, 4)
  TEST (5, 4, 7, 4)
  TEST (6, 4, 7, 4)
  TEST (7, 4, 7, 4)
  TEST (0, 5, 7, 4)
  TEST (1, 5, 7, 4)
  TEST (2, 5, 7, 4)
  TEST (3, 5, 7, 4)
  TEST (4, 5, 7, 4)
  TEST (5, 5, 7, 4)
  TEST (6, 5, 7, 4)
  TEST (7, 5, 7, 4)
  TEST (0, 6, 7, 4)
  TEST (1, 6, 7, 4)
  TEST (2, 6, 7, 4)
  TEST (3, 6, 7, 4)
  TEST (4, 6, 7, 4)
  TEST (5, 6, 7, 4)
  TEST (6, 6, 7, 4)
  TEST (7, 6, 7, 4)
  TEST (0, 7, 7, 4)
  TEST (1, 7, 7, 4)
  TEST (2, 7, 7, 4)
  TEST (3, 7, 7, 4)
  TEST (4, 7, 7, 4)
  TEST (5, 7, 7, 4)
  TEST (6, 7, 7, 4)
  TEST (7, 7, 7, 4)
}

void check20(void)
{
  TEST (0, 0, 0, 5)
  TEST (1, 0, 0, 5)
  TEST (2, 0, 0, 5)
  TEST (3, 0, 0, 5)
  TEST (4, 0, 0, 5)
  TEST (5, 0, 0, 5)
  TEST (6, 0, 0, 5)
  TEST (7, 0, 0, 5)
  TEST (0, 1, 0, 5)
  TEST (1, 1, 0, 5)
  TEST (2, 1, 0, 5)
  TEST (3, 1, 0, 5)
  TEST (4, 1, 0, 5)
  TEST (5, 1, 0, 5)
  TEST (6, 1, 0, 5)
  TEST (7, 1, 0, 5)
  TEST (0, 2, 0, 5)
  TEST (1, 2, 0, 5)
  TEST (2, 2, 0, 5)
  TEST (3, 2, 0, 5)
  TEST (4, 2, 0, 5)
  TEST (5, 2, 0, 5)
  TEST (6, 2, 0, 5)
  TEST (7, 2, 0, 5)
  TEST (0, 3, 0, 5)
  TEST (1, 3, 0, 5)
  TEST (2, 3, 0, 5)
  TEST (3, 3, 0, 5)
  TEST (4, 3, 0, 5)
  TEST (5, 3, 0, 5)
  TEST (6, 3, 0, 5)
  TEST (7, 3, 0, 5)
  TEST (0, 4, 0, 5)
  TEST (1, 4, 0, 5)
  TEST (2, 4, 0, 5)
  TEST (3, 4, 0, 5)
  TEST (4, 4, 0, 5)
  TEST (5, 4, 0, 5)
  TEST (6, 4, 0, 5)
  TEST (7, 4, 0, 5)
  TEST (0, 5, 0, 5)
  TEST (1, 5, 0, 5)
  TEST (2, 5, 0, 5)
  TEST (3, 5, 0, 5)
  TEST (4, 5, 0, 5)
  TEST (5, 5, 0, 5)
  TEST (6, 5, 0, 5)
  TEST (7, 5, 0, 5)
  TEST (0, 6, 0, 5)
  TEST (1, 6, 0, 5)
  TEST (2, 6, 0, 5)
  TEST (3, 6, 0, 5)
  TEST (4, 6, 0, 5)
  TEST (5, 6, 0, 5)
  TEST (6, 6, 0, 5)
  TEST (7, 6, 0, 5)
  TEST (0, 7, 0, 5)
  TEST (1, 7, 0, 5)
  TEST (2, 7, 0, 5)
  TEST (3, 7, 0, 5)
  TEST (4, 7, 0, 5)
  TEST (5, 7, 0, 5)
  TEST (6, 7, 0, 5)
  TEST (7, 7, 0, 5)
  TEST (0, 0, 1, 5)
  TEST (1, 0, 1, 5)
  TEST (2, 0, 1, 5)
  TEST (3, 0, 1, 5)
  TEST (4, 0, 1, 5)
  TEST (5, 0, 1, 5)
  TEST (6, 0, 1, 5)
  TEST (7, 0, 1, 5)
  TEST (0, 1, 1, 5)
  TEST (1, 1, 1, 5)
  TEST (2, 1, 1, 5)
  TEST (3, 1, 1, 5)
  TEST (4, 1, 1, 5)
  TEST (5, 1, 1, 5)
  TEST (6, 1, 1, 5)
  TEST (7, 1, 1, 5)
  TEST (0, 2, 1, 5)
  TEST (1, 2, 1, 5)
  TEST (2, 2, 1, 5)
  TEST (3, 2, 1, 5)
  TEST (4, 2, 1, 5)
  TEST (5, 2, 1, 5)
  TEST (6, 2, 1, 5)
  TEST (7, 2, 1, 5)
  TEST (0, 3, 1, 5)
  TEST (1, 3, 1, 5)
  TEST (2, 3, 1, 5)
  TEST (3, 3, 1, 5)
  TEST (4, 3, 1, 5)
  TEST (5, 3, 1, 5)
  TEST (6, 3, 1, 5)
  TEST (7, 3, 1, 5)
  TEST (0, 4, 1, 5)
  TEST (1, 4, 1, 5)
  TEST (2, 4, 1, 5)
  TEST (3, 4, 1, 5)
  TEST (4, 4, 1, 5)
  TEST (5, 4, 1, 5)
  TEST (6, 4, 1, 5)
  TEST (7, 4, 1, 5)
  TEST (0, 5, 1, 5)
  TEST (1, 5, 1, 5)
  TEST (2, 5, 1, 5)
  TEST (3, 5, 1, 5)
  TEST (4, 5, 1, 5)
  TEST (5, 5, 1, 5)
  TEST (6, 5, 1, 5)
  TEST (7, 5, 1, 5)
  TEST (0, 6, 1, 5)
  TEST (1, 6, 1, 5)
  TEST (2, 6, 1, 5)
  TEST (3, 6, 1, 5)
  TEST (4, 6, 1, 5)
  TEST (5, 6, 1, 5)
  TEST (6, 6, 1, 5)
  TEST (7, 6, 1, 5)
  TEST (0, 7, 1, 5)
  TEST (1, 7, 1, 5)
  TEST (2, 7, 1, 5)
  TEST (3, 7, 1, 5)
  TEST (4, 7, 1, 5)
  TEST (5, 7, 1, 5)
  TEST (6, 7, 1, 5)
  TEST (7, 7, 1, 5)
}

void check21(void)
{
  TEST (0, 0, 2, 5)
  TEST (1, 0, 2, 5)
  TEST (2, 0, 2, 5)
  TEST (3, 0, 2, 5)
  TEST (4, 0, 2, 5)
  TEST (5, 0, 2, 5)
  TEST (6, 0, 2, 5)
  TEST (7, 0, 2, 5)
  TEST (0, 1, 2, 5)
  TEST (1, 1, 2, 5)
  TEST (2, 1, 2, 5)
  TEST (3, 1, 2, 5)
  TEST (4, 1, 2, 5)
  TEST (5, 1, 2, 5)
  TEST (6, 1, 2, 5)
  TEST (7, 1, 2, 5)
  TEST (0, 2, 2, 5)
  TEST (1, 2, 2, 5)
  TEST (2, 2, 2, 5)
  TEST (3, 2, 2, 5)
  TEST (4, 2, 2, 5)
  TEST (5, 2, 2, 5)
  TEST (6, 2, 2, 5)
  TEST (7, 2, 2, 5)
  TEST (0, 3, 2, 5)
  TEST (1, 3, 2, 5)
  TEST (2, 3, 2, 5)
  TEST (3, 3, 2, 5)
  TEST (4, 3, 2, 5)
  TEST (5, 3, 2, 5)
  TEST (6, 3, 2, 5)
  TEST (7, 3, 2, 5)
  TEST (0, 4, 2, 5)
  TEST (1, 4, 2, 5)
  TEST (2, 4, 2, 5)
  TEST (3, 4, 2, 5)
  TEST (4, 4, 2, 5)
  TEST (5, 4, 2, 5)
  TEST (6, 4, 2, 5)
  TEST (7, 4, 2, 5)
  TEST (0, 5, 2, 5)
  TEST (1, 5, 2, 5)
  TEST (2, 5, 2, 5)
  TEST (3, 5, 2, 5)
  TEST (4, 5, 2, 5)
  TEST (5, 5, 2, 5)
  TEST (6, 5, 2, 5)
  TEST (7, 5, 2, 5)
  TEST (0, 6, 2, 5)
  TEST (1, 6, 2, 5)
  TEST (2, 6, 2, 5)
  TEST (3, 6, 2, 5)
  TEST (4, 6, 2, 5)
  TEST (5, 6, 2, 5)
  TEST (6, 6, 2, 5)
  TEST (7, 6, 2, 5)
  TEST (0, 7, 2, 5)
  TEST (1, 7, 2, 5)
  TEST (2, 7, 2, 5)
  TEST (3, 7, 2, 5)
  TEST (4, 7, 2, 5)
  TEST (5, 7, 2, 5)
  TEST (6, 7, 2, 5)
  TEST (7, 7, 2, 5)
  TEST (0, 0, 3, 5)
  TEST (1, 0, 3, 5)
  TEST (2, 0, 3, 5)
  TEST (3, 0, 3, 5)
  TEST (4, 0, 3, 5)
  TEST (5, 0, 3, 5)
  TEST (6, 0, 3, 5)
  TEST (7, 0, 3, 5)
  TEST (0, 1, 3, 5)
  TEST (1, 1, 3, 5)
  TEST (2, 1, 3, 5)
  TEST (3, 1, 3, 5)
  TEST (4, 1, 3, 5)
  TEST (5, 1, 3, 5)
  TEST (6, 1, 3, 5)
  TEST (7, 1, 3, 5)
  TEST (0, 2, 3, 5)
  TEST (1, 2, 3, 5)
  TEST (2, 2, 3, 5)
  TEST (3, 2, 3, 5)
  TEST (4, 2, 3, 5)
  TEST (5, 2, 3, 5)
  TEST (6, 2, 3, 5)
  TEST (7, 2, 3, 5)
  TEST (0, 3, 3, 5)
  TEST (1, 3, 3, 5)
  TEST (2, 3, 3, 5)
  TEST (3, 3, 3, 5)
  TEST (4, 3, 3, 5)
  TEST (5, 3, 3, 5)
  TEST (6, 3, 3, 5)
  TEST (7, 3, 3, 5)
  TEST (0, 4, 3, 5)
  TEST (1, 4, 3, 5)
  TEST (2, 4, 3, 5)
  TEST (3, 4, 3, 5)
  TEST (4, 4, 3, 5)
  TEST (5, 4, 3, 5)
  TEST (6, 4, 3, 5)
  TEST (7, 4, 3, 5)
  TEST (0, 5, 3, 5)
  TEST (1, 5, 3, 5)
  TEST (2, 5, 3, 5)
  TEST (3, 5, 3, 5)
  TEST (4, 5, 3, 5)
  TEST (5, 5, 3, 5)
  TEST (6, 5, 3, 5)
  TEST (7, 5, 3, 5)
  TEST (0, 6, 3, 5)
  TEST (1, 6, 3, 5)
  TEST (2, 6, 3, 5)
  TEST (3, 6, 3, 5)
  TEST (4, 6, 3, 5)
  TEST (5, 6, 3, 5)
  TEST (6, 6, 3, 5)
  TEST (7, 6, 3, 5)
  TEST (0, 7, 3, 5)
  TEST (1, 7, 3, 5)
  TEST (2, 7, 3, 5)
  TEST (3, 7, 3, 5)
  TEST (4, 7, 3, 5)
  TEST (5, 7, 3, 5)
  TEST (6, 7, 3, 5)
  TEST (7, 7, 3, 5)
}

void check22(void)
{
  TEST (0, 0, 4, 5)
  TEST (1, 0, 4, 5)
  TEST (2, 0, 4, 5)
  TEST (3, 0, 4, 5)
  TEST (4, 0, 4, 5)
  TEST (5, 0, 4, 5)
  TEST (6, 0, 4, 5)
  TEST (7, 0, 4, 5)
  TEST (0, 1, 4, 5)
  TEST (1, 1, 4, 5)
  TEST (2, 1, 4, 5)
  TEST (3, 1, 4, 5)
  TEST (4, 1, 4, 5)
  TEST (5, 1, 4, 5)
  TEST (6, 1, 4, 5)
  TEST (7, 1, 4, 5)
  TEST (0, 2, 4, 5)
  TEST (1, 2, 4, 5)
  TEST (2, 2, 4, 5)
  TEST (3, 2, 4, 5)
  TEST (4, 2, 4, 5)
  TEST (5, 2, 4, 5)
  TEST (6, 2, 4, 5)
  TEST (7, 2, 4, 5)
  TEST (0, 3, 4, 5)
  TEST (1, 3, 4, 5)
  TEST (2, 3, 4, 5)
  TEST (3, 3, 4, 5)
  TEST (4, 3, 4, 5)
  TEST (5, 3, 4, 5)
  TEST (6, 3, 4, 5)
  TEST (7, 3, 4, 5)
  TEST (0, 4, 4, 5)
  TEST (1, 4, 4, 5)
  TEST (2, 4, 4, 5)
  TEST (3, 4, 4, 5)
  TEST (4, 4, 4, 5)
  TEST (5, 4, 4, 5)
  TEST (6, 4, 4, 5)
  TEST (7, 4, 4, 5)
  TEST (0, 5, 4, 5)
  TEST (1, 5, 4, 5)
  TEST (2, 5, 4, 5)
  TEST (3, 5, 4, 5)
  TEST (4, 5, 4, 5)
  TEST (5, 5, 4, 5)
  TEST (6, 5, 4, 5)
  TEST (7, 5, 4, 5)
  TEST (0, 6, 4, 5)
  TEST (1, 6, 4, 5)
  TEST (2, 6, 4, 5)
  TEST (3, 6, 4, 5)
  TEST (4, 6, 4, 5)
  TEST (5, 6, 4, 5)
  TEST (6, 6, 4, 5)
  TEST (7, 6, 4, 5)
  TEST (0, 7, 4, 5)
  TEST (1, 7, 4, 5)
  TEST (2, 7, 4, 5)
  TEST (3, 7, 4, 5)
  TEST (4, 7, 4, 5)
  TEST (5, 7, 4, 5)
  TEST (6, 7, 4, 5)
  TEST (7, 7, 4, 5)
  TEST (0, 0, 5, 5)
  TEST (1, 0, 5, 5)
  TEST (2, 0, 5, 5)
  TEST (3, 0, 5, 5)
  TEST (4, 0, 5, 5)
  TEST (5, 0, 5, 5)
  TEST (6, 0, 5, 5)
  TEST (7, 0, 5, 5)
  TEST (0, 1, 5, 5)
  TEST (1, 1, 5, 5)
  TEST (2, 1, 5, 5)
  TEST (3, 1, 5, 5)
  TEST (4, 1, 5, 5)
  TEST (5, 1, 5, 5)
  TEST (6, 1, 5, 5)
  TEST (7, 1, 5, 5)
  TEST (0, 2, 5, 5)
  TEST (1, 2, 5, 5)
  TEST (2, 2, 5, 5)
  TEST (3, 2, 5, 5)
  TEST (4, 2, 5, 5)
  TEST (5, 2, 5, 5)
  TEST (6, 2, 5, 5)
  TEST (7, 2, 5, 5)
  TEST (0, 3, 5, 5)
  TEST (1, 3, 5, 5)
  TEST (2, 3, 5, 5)
  TEST (3, 3, 5, 5)
  TEST (4, 3, 5, 5)
  TEST (5, 3, 5, 5)
  TEST (6, 3, 5, 5)
  TEST (7, 3, 5, 5)
  TEST (0, 4, 5, 5)
  TEST (1, 4, 5, 5)
  TEST (2, 4, 5, 5)
  TEST (3, 4, 5, 5)
  TEST (4, 4, 5, 5)
  TEST (5, 4, 5, 5)
  TEST (6, 4, 5, 5)
  TEST (7, 4, 5, 5)
  TEST (0, 5, 5, 5)
  TEST (1, 5, 5, 5)
  TEST (2, 5, 5, 5)
  TEST (3, 5, 5, 5)
  TEST (4, 5, 5, 5)
  TEST (5, 5, 5, 5)
  TEST (6, 5, 5, 5)
  TEST (7, 5, 5, 5)
  TEST (0, 6, 5, 5)
  TEST (1, 6, 5, 5)
  TEST (2, 6, 5, 5)
  TEST (3, 6, 5, 5)
  TEST (4, 6, 5, 5)
  TEST (5, 6, 5, 5)
  TEST (6, 6, 5, 5)
  TEST (7, 6, 5, 5)
  TEST (0, 7, 5, 5)
  TEST (1, 7, 5, 5)
  TEST (2, 7, 5, 5)
  TEST (3, 7, 5, 5)
  TEST (4, 7, 5, 5)
  TEST (5, 7, 5, 5)
  TEST (6, 7, 5, 5)
  TEST (7, 7, 5, 5)
}

void check23(void)
{
  TEST (0, 0, 6, 5)
  TEST (1, 0, 6, 5)
  TEST (2, 0, 6, 5)
  TEST (3, 0, 6, 5)
  TEST (4, 0, 6, 5)
  TEST (5, 0, 6, 5)
  TEST (6, 0, 6, 5)
  TEST (7, 0, 6, 5)
  TEST (0, 1, 6, 5)
  TEST (1, 1, 6, 5)
  TEST (2, 1, 6, 5)
  TEST (3, 1, 6, 5)
  TEST (4, 1, 6, 5)
  TEST (5, 1, 6, 5)
  TEST (6, 1, 6, 5)
  TEST (7, 1, 6, 5)
  TEST (0, 2, 6, 5)
  TEST (1, 2, 6, 5)
  TEST (2, 2, 6, 5)
  TEST (3, 2, 6, 5)
  TEST (4, 2, 6, 5)
  TEST (5, 2, 6, 5)
  TEST (6, 2, 6, 5)
  TEST (7, 2, 6, 5)
  TEST (0, 3, 6, 5)
  TEST (1, 3, 6, 5)
  TEST (2, 3, 6, 5)
  TEST (3, 3, 6, 5)
  TEST (4, 3, 6, 5)
  TEST (5, 3, 6, 5)
  TEST (6, 3, 6, 5)
  TEST (7, 3, 6, 5)
  TEST (0, 4, 6, 5)
  TEST (1, 4, 6, 5)
  TEST (2, 4, 6, 5)
  TEST (3, 4, 6, 5)
  TEST (4, 4, 6, 5)
  TEST (5, 4, 6, 5)
  TEST (6, 4, 6, 5)
  TEST (7, 4, 6, 5)
  TEST (0, 5, 6, 5)
  TEST (1, 5, 6, 5)
  TEST (2, 5, 6, 5)
  TEST (3, 5, 6, 5)
  TEST (4, 5, 6, 5)
  TEST (5, 5, 6, 5)
  TEST (6, 5, 6, 5)
  TEST (7, 5, 6, 5)
  TEST (0, 6, 6, 5)
  TEST (1, 6, 6, 5)
  TEST (2, 6, 6, 5)
  TEST (3, 6, 6, 5)
  TEST (4, 6, 6, 5)
  TEST (5, 6, 6, 5)
  TEST (6, 6, 6, 5)
  TEST (7, 6, 6, 5)
  TEST (0, 7, 6, 5)
  TEST (1, 7, 6, 5)
  TEST (2, 7, 6, 5)
  TEST (3, 7, 6, 5)
  TEST (4, 7, 6, 5)
  TEST (5, 7, 6, 5)
  TEST (6, 7, 6, 5)
  TEST (7, 7, 6, 5)
  TEST (0, 0, 7, 5)
  TEST (1, 0, 7, 5)
  TEST (2, 0, 7, 5)
  TEST (3, 0, 7, 5)
  TEST (4, 0, 7, 5)
  TEST (5, 0, 7, 5)
  TEST (6, 0, 7, 5)
  TEST (7, 0, 7, 5)
  TEST (0, 1, 7, 5)
  TEST (1, 1, 7, 5)
  TEST (2, 1, 7, 5)
  TEST (3, 1, 7, 5)
  TEST (4, 1, 7, 5)
  TEST (5, 1, 7, 5)
  TEST (6, 1, 7, 5)
  TEST (7, 1, 7, 5)
  TEST (0, 2, 7, 5)
  TEST (1, 2, 7, 5)
  TEST (2, 2, 7, 5)
  TEST (3, 2, 7, 5)
  TEST (4, 2, 7, 5)
  TEST (5, 2, 7, 5)
  TEST (6, 2, 7, 5)
  TEST (7, 2, 7, 5)
  TEST (0, 3, 7, 5)
  TEST (1, 3, 7, 5)
  TEST (2, 3, 7, 5)
  TEST (3, 3, 7, 5)
  TEST (4, 3, 7, 5)
  TEST (5, 3, 7, 5)
  TEST (6, 3, 7, 5)
  TEST (7, 3, 7, 5)
  TEST (0, 4, 7, 5)
  TEST (1, 4, 7, 5)
  TEST (2, 4, 7, 5)
  TEST (3, 4, 7, 5)
  TEST (4, 4, 7, 5)
  TEST (5, 4, 7, 5)
  TEST (6, 4, 7, 5)
  TEST (7, 4, 7, 5)
  TEST (0, 5, 7, 5)
  TEST (1, 5, 7, 5)
  TEST (2, 5, 7, 5)
  TEST (3, 5, 7, 5)
  TEST (4, 5, 7, 5)
  TEST (5, 5, 7, 5)
  TEST (6, 5, 7, 5)
  TEST (7, 5, 7, 5)
  TEST (0, 6, 7, 5)
  TEST (1, 6, 7, 5)
  TEST (2, 6, 7, 5)
  TEST (3, 6, 7, 5)
  TEST (4, 6, 7, 5)
  TEST (5, 6, 7, 5)
  TEST (6, 6, 7, 5)
  TEST (7, 6, 7, 5)
  TEST (0, 7, 7, 5)
  TEST (1, 7, 7, 5)
  TEST (2, 7, 7, 5)
  TEST (3, 7, 7, 5)
  TEST (4, 7, 7, 5)
  TEST (5, 7, 7, 5)
  TEST (6, 7, 7, 5)
  TEST (7, 7, 7, 5)
}

void check24(void)
{
  TEST (0, 0, 0, 6)
  TEST (1, 0, 0, 6)
  TEST (2, 0, 0, 6)
  TEST (3, 0, 0, 6)
  TEST (4, 0, 0, 6)
  TEST (5, 0, 0, 6)
  TEST (6, 0, 0, 6)
  TEST (7, 0, 0, 6)
  TEST (0, 1, 0, 6)
  TEST (1, 1, 0, 6)
  TEST (2, 1, 0, 6)
  TEST (3, 1, 0, 6)
  TEST (4, 1, 0, 6)
  TEST (5, 1, 0, 6)
  TEST (6, 1, 0, 6)
  TEST (7, 1, 0, 6)
  TEST (0, 2, 0, 6)
  TEST (1, 2, 0, 6)
  TEST (2, 2, 0, 6)
  TEST (3, 2, 0, 6)
  TEST (4, 2, 0, 6)
  TEST (5, 2, 0, 6)
  TEST (6, 2, 0, 6)
  TEST (7, 2, 0, 6)
  TEST (0, 3, 0, 6)
  TEST (1, 3, 0, 6)
  TEST (2, 3, 0, 6)
  TEST (3, 3, 0, 6)
  TEST (4, 3, 0, 6)
  TEST (5, 3, 0, 6)
  TEST (6, 3, 0, 6)
  TEST (7, 3, 0, 6)
  TEST (0, 4, 0, 6)
  TEST (1, 4, 0, 6)
  TEST (2, 4, 0, 6)
  TEST (3, 4, 0, 6)
  TEST (4, 4, 0, 6)
  TEST (5, 4, 0, 6)
  TEST (6, 4, 0, 6)
  TEST (7, 4, 0, 6)
  TEST (0, 5, 0, 6)
  TEST (1, 5, 0, 6)
  TEST (2, 5, 0, 6)
  TEST (3, 5, 0, 6)
  TEST (4, 5, 0, 6)
  TEST (5, 5, 0, 6)
  TEST (6, 5, 0, 6)
  TEST (7, 5, 0, 6)
  TEST (0, 6, 0, 6)
  TEST (1, 6, 0, 6)
  TEST (2, 6, 0, 6)
  TEST (3, 6, 0, 6)
  TEST (4, 6, 0, 6)
  TEST (5, 6, 0, 6)
  TEST (6, 6, 0, 6)
  TEST (7, 6, 0, 6)
  TEST (0, 7, 0, 6)
  TEST (1, 7, 0, 6)
  TEST (2, 7, 0, 6)
  TEST (3, 7, 0, 6)
  TEST (4, 7, 0, 6)
  TEST (5, 7, 0, 6)
  TEST (6, 7, 0, 6)
  TEST (7, 7, 0, 6)
  TEST (0, 0, 1, 6)
  TEST (1, 0, 1, 6)
  TEST (2, 0, 1, 6)
  TEST (3, 0, 1, 6)
  TEST (4, 0, 1, 6)
  TEST (5, 0, 1, 6)
  TEST (6, 0, 1, 6)
  TEST (7, 0, 1, 6)
  TEST (0, 1, 1, 6)
  TEST (1, 1, 1, 6)
  TEST (2, 1, 1, 6)
  TEST (3, 1, 1, 6)
  TEST (4, 1, 1, 6)
  TEST (5, 1, 1, 6)
  TEST (6, 1, 1, 6)
  TEST (7, 1, 1, 6)
  TEST (0, 2, 1, 6)
  TEST (1, 2, 1, 6)
  TEST (2, 2, 1, 6)
  TEST (3, 2, 1, 6)
  TEST (4, 2, 1, 6)
  TEST (5, 2, 1, 6)
  TEST (6, 2, 1, 6)
  TEST (7, 2, 1, 6)
  TEST (0, 3, 1, 6)
  TEST (1, 3, 1, 6)
  TEST (2, 3, 1, 6)
  TEST (3, 3, 1, 6)
  TEST (4, 3, 1, 6)
  TEST (5, 3, 1, 6)
  TEST (6, 3, 1, 6)
  TEST (7, 3, 1, 6)
  TEST (0, 4, 1, 6)
  TEST (1, 4, 1, 6)
  TEST (2, 4, 1, 6)
  TEST (3, 4, 1, 6)
  TEST (4, 4, 1, 6)
  TEST (5, 4, 1, 6)
  TEST (6, 4, 1, 6)
  TEST (7, 4, 1, 6)
  TEST (0, 5, 1, 6)
  TEST (1, 5, 1, 6)
  TEST (2, 5, 1, 6)
  TEST (3, 5, 1, 6)
  TEST (4, 5, 1, 6)
  TEST (5, 5, 1, 6)
  TEST (6, 5, 1, 6)
  TEST (7, 5, 1, 6)
  TEST (0, 6, 1, 6)
  TEST (1, 6, 1, 6)
  TEST (2, 6, 1, 6)
  TEST (3, 6, 1, 6)
  TEST (4, 6, 1, 6)
  TEST (5, 6, 1, 6)
  TEST (6, 6, 1, 6)
  TEST (7, 6, 1, 6)
  TEST (0, 7, 1, 6)
  TEST (1, 7, 1, 6)
  TEST (2, 7, 1, 6)
  TEST (3, 7, 1, 6)
  TEST (4, 7, 1, 6)
  TEST (5, 7, 1, 6)
  TEST (6, 7, 1, 6)
  TEST (7, 7, 1, 6)
}

void check25(void)
{
  TEST (0, 0, 2, 6)
  TEST (1, 0, 2, 6)
  TEST (2, 0, 2, 6)
  TEST (3, 0, 2, 6)
  TEST (4, 0, 2, 6)
  TEST (5, 0, 2, 6)
  TEST (6, 0, 2, 6)
  TEST (7, 0, 2, 6)
  TEST (0, 1, 2, 6)
  TEST (1, 1, 2, 6)
  TEST (2, 1, 2, 6)
  TEST (3, 1, 2, 6)
  TEST (4, 1, 2, 6)
  TEST (5, 1, 2, 6)
  TEST (6, 1, 2, 6)
  TEST (7, 1, 2, 6)
  TEST (0, 2, 2, 6)
  TEST (1, 2, 2, 6)
  TEST (2, 2, 2, 6)
  TEST (3, 2, 2, 6)
  TEST (4, 2, 2, 6)
  TEST (5, 2, 2, 6)
  TEST (6, 2, 2, 6)
  TEST (7, 2, 2, 6)
  TEST (0, 3, 2, 6)
  TEST (1, 3, 2, 6)
  TEST (2, 3, 2, 6)
  TEST (3, 3, 2, 6)
  TEST (4, 3, 2, 6)
  TEST (5, 3, 2, 6)
  TEST (6, 3, 2, 6)
  TEST (7, 3, 2, 6)
  TEST (0, 4, 2, 6)
  TEST (1, 4, 2, 6)
  TEST (2, 4, 2, 6)
  TEST (3, 4, 2, 6)
  TEST (4, 4, 2, 6)
  TEST (5, 4, 2, 6)
  TEST (6, 4, 2, 6)
  TEST (7, 4, 2, 6)
  TEST (0, 5, 2, 6)
  TEST (1, 5, 2, 6)
  TEST (2, 5, 2, 6)
  TEST (3, 5, 2, 6)
  TEST (4, 5, 2, 6)
  TEST (5, 5, 2, 6)
  TEST (6, 5, 2, 6)
  TEST (7, 5, 2, 6)
  TEST (0, 6, 2, 6)
  TEST (1, 6, 2, 6)
  TEST (2, 6, 2, 6)
  TEST (3, 6, 2, 6)
  TEST (4, 6, 2, 6)
  TEST (5, 6, 2, 6)
  TEST (6, 6, 2, 6)
  TEST (7, 6, 2, 6)
  TEST (0, 7, 2, 6)
  TEST (1, 7, 2, 6)
  TEST (2, 7, 2, 6)
  TEST (3, 7, 2, 6)
  TEST (4, 7, 2, 6)
  TEST (5, 7, 2, 6)
  TEST (6, 7, 2, 6)
  TEST (7, 7, 2, 6)
  TEST (0, 0, 3, 6)
  TEST (1, 0, 3, 6)
  TEST (2, 0, 3, 6)
  TEST (3, 0, 3, 6)
  TEST (4, 0, 3, 6)
  TEST (5, 0, 3, 6)
  TEST (6, 0, 3, 6)
  TEST (7, 0, 3, 6)
  TEST (0, 1, 3, 6)
  TEST (1, 1, 3, 6)
  TEST (2, 1, 3, 6)
  TEST (3, 1, 3, 6)
  TEST (4, 1, 3, 6)
  TEST (5, 1, 3, 6)
  TEST (6, 1, 3, 6)
  TEST (7, 1, 3, 6)
  TEST (0, 2, 3, 6)
  TEST (1, 2, 3, 6)
  TEST (2, 2, 3, 6)
  TEST (3, 2, 3, 6)
  TEST (4, 2, 3, 6)
  TEST (5, 2, 3, 6)
  TEST (6, 2, 3, 6)
  TEST (7, 2, 3, 6)
  TEST (0, 3, 3, 6)
  TEST (1, 3, 3, 6)
  TEST (2, 3, 3, 6)
  TEST (3, 3, 3, 6)
  TEST (4, 3, 3, 6)
  TEST (5, 3, 3, 6)
  TEST (6, 3, 3, 6)
  TEST (7, 3, 3, 6)
  TEST (0, 4, 3, 6)
  TEST (1, 4, 3, 6)
  TEST (2, 4, 3, 6)
  TEST (3, 4, 3, 6)
  TEST (4, 4, 3, 6)
  TEST (5, 4, 3, 6)
  TEST (6, 4, 3, 6)
  TEST (7, 4, 3, 6)
  TEST (0, 5, 3, 6)
  TEST (1, 5, 3, 6)
  TEST (2, 5, 3, 6)
  TEST (3, 5, 3, 6)
  TEST (4, 5, 3, 6)
  TEST (5, 5, 3, 6)
  TEST (6, 5, 3, 6)
  TEST (7, 5, 3, 6)
  TEST (0, 6, 3, 6)
  TEST (1, 6, 3, 6)
  TEST (2, 6, 3, 6)
  TEST (3, 6, 3, 6)
  TEST (4, 6, 3, 6)
  TEST (5, 6, 3, 6)
  TEST (6, 6, 3, 6)
  TEST (7, 6, 3, 6)
  TEST (0, 7, 3, 6)
  TEST (1, 7, 3, 6)
  TEST (2, 7, 3, 6)
  TEST (3, 7, 3, 6)
  TEST (4, 7, 3, 6)
  TEST (5, 7, 3, 6)
  TEST (6, 7, 3, 6)
  TEST (7, 7, 3, 6)
}

void check26(void)
{
  TEST (0, 0, 4, 6)
  TEST (1, 0, 4, 6)
  TEST (2, 0, 4, 6)
  TEST (3, 0, 4, 6)
  TEST (4, 0, 4, 6)
  TEST (5, 0, 4, 6)
  TEST (6, 0, 4, 6)
  TEST (7, 0, 4, 6)
  TEST (0, 1, 4, 6)
  TEST (1, 1, 4, 6)
  TEST (2, 1, 4, 6)
  TEST (3, 1, 4, 6)
  TEST (4, 1, 4, 6)
  TEST (5, 1, 4, 6)
  TEST (6, 1, 4, 6)
  TEST (7, 1, 4, 6)
  TEST (0, 2, 4, 6)
  TEST (1, 2, 4, 6)
  TEST (2, 2, 4, 6)
  TEST (3, 2, 4, 6)
  TEST (4, 2, 4, 6)
  TEST (5, 2, 4, 6)
  TEST (6, 2, 4, 6)
  TEST (7, 2, 4, 6)
  TEST (0, 3, 4, 6)
  TEST (1, 3, 4, 6)
  TEST (2, 3, 4, 6)
  TEST (3, 3, 4, 6)
  TEST (4, 3, 4, 6)
  TEST (5, 3, 4, 6)
  TEST (6, 3, 4, 6)
  TEST (7, 3, 4, 6)
  TEST (0, 4, 4, 6)
  TEST (1, 4, 4, 6)
  TEST (2, 4, 4, 6)
  TEST (3, 4, 4, 6)
  TEST (4, 4, 4, 6)
  TEST (5, 4, 4, 6)
  TEST (6, 4, 4, 6)
  TEST (7, 4, 4, 6)
  TEST (0, 5, 4, 6)
  TEST (1, 5, 4, 6)
  TEST (2, 5, 4, 6)
  TEST (3, 5, 4, 6)
  TEST (4, 5, 4, 6)
  TEST (5, 5, 4, 6)
  TEST (6, 5, 4, 6)
  TEST (7, 5, 4, 6)
  TEST (0, 6, 4, 6)
  TEST (1, 6, 4, 6)
  TEST (2, 6, 4, 6)
  TEST (3, 6, 4, 6)
  TEST (4, 6, 4, 6)
  TEST (5, 6, 4, 6)
  TEST (6, 6, 4, 6)
  TEST (7, 6, 4, 6)
  TEST (0, 7, 4, 6)
  TEST (1, 7, 4, 6)
  TEST (2, 7, 4, 6)
  TEST (3, 7, 4, 6)
  TEST (4, 7, 4, 6)
  TEST (5, 7, 4, 6)
  TEST (6, 7, 4, 6)
  TEST (7, 7, 4, 6)
  TEST (0, 0, 5, 6)
  TEST (1, 0, 5, 6)
  TEST (2, 0, 5, 6)
  TEST (3, 0, 5, 6)
  TEST (4, 0, 5, 6)
  TEST (5, 0, 5, 6)
  TEST (6, 0, 5, 6)
  TEST (7, 0, 5, 6)
  TEST (0, 1, 5, 6)
  TEST (1, 1, 5, 6)
  TEST (2, 1, 5, 6)
  TEST (3, 1, 5, 6)
  TEST (4, 1, 5, 6)
  TEST (5, 1, 5, 6)
  TEST (6, 1, 5, 6)
  TEST (7, 1, 5, 6)
  TEST (0, 2, 5, 6)
  TEST (1, 2, 5, 6)
  TEST (2, 2, 5, 6)
  TEST (3, 2, 5, 6)
  TEST (4, 2, 5, 6)
  TEST (5, 2, 5, 6)
  TEST (6, 2, 5, 6)
  TEST (7, 2, 5, 6)
  TEST (0, 3, 5, 6)
  TEST (1, 3, 5, 6)
  TEST (2, 3, 5, 6)
  TEST (3, 3, 5, 6)
  TEST (4, 3, 5, 6)
  TEST (5, 3, 5, 6)
  TEST (6, 3, 5, 6)
  TEST (7, 3, 5, 6)
  TEST (0, 4, 5, 6)
  TEST (1, 4, 5, 6)
  TEST (2, 4, 5, 6)
  TEST (3, 4, 5, 6)
  TEST (4, 4, 5, 6)
  TEST (5, 4, 5, 6)
  TEST (6, 4, 5, 6)
  TEST (7, 4, 5, 6)
  TEST (0, 5, 5, 6)
  TEST (1, 5, 5, 6)
  TEST (2, 5, 5, 6)
  TEST (3, 5, 5, 6)
  TEST (4, 5, 5, 6)
  TEST (5, 5, 5, 6)
  TEST (6, 5, 5, 6)
  TEST (7, 5, 5, 6)
  TEST (0, 6, 5, 6)
  TEST (1, 6, 5, 6)
  TEST (2, 6, 5, 6)
  TEST (3, 6, 5, 6)
  TEST (4, 6, 5, 6)
  TEST (5, 6, 5, 6)
  TEST (6, 6, 5, 6)
  TEST (7, 6, 5, 6)
  TEST (0, 7, 5, 6)
  TEST (1, 7, 5, 6)
  TEST (2, 7, 5, 6)
  TEST (3, 7, 5, 6)
  TEST (4, 7, 5, 6)
  TEST (5, 7, 5, 6)
  TEST (6, 7, 5, 6)
  TEST (7, 7, 5, 6)
}

void check27(void)
{
  TEST (0, 0, 6, 6)
  TEST (1, 0, 6, 6)
  TEST (2, 0, 6, 6)
  TEST (3, 0, 6, 6)
  TEST (4, 0, 6, 6)
  TEST (5, 0, 6, 6)
  TEST (6, 0, 6, 6)
  TEST (7, 0, 6, 6)
  TEST (0, 1, 6, 6)
  TEST (1, 1, 6, 6)
  TEST (2, 1, 6, 6)
  TEST (3, 1, 6, 6)
  TEST (4, 1, 6, 6)
  TEST (5, 1, 6, 6)
  TEST (6, 1, 6, 6)
  TEST (7, 1, 6, 6)
  TEST (0, 2, 6, 6)
  TEST (1, 2, 6, 6)
  TEST (2, 2, 6, 6)
  TEST (3, 2, 6, 6)
  TEST (4, 2, 6, 6)
  TEST (5, 2, 6, 6)
  TEST (6, 2, 6, 6)
  TEST (7, 2, 6, 6)
  TEST (0, 3, 6, 6)
  TEST (1, 3, 6, 6)
  TEST (2, 3, 6, 6)
  TEST (3, 3, 6, 6)
  TEST (4, 3, 6, 6)
  TEST (5, 3, 6, 6)
  TEST (6, 3, 6, 6)
  TEST (7, 3, 6, 6)
  TEST (0, 4, 6, 6)
  TEST (1, 4, 6, 6)
  TEST (2, 4, 6, 6)
  TEST (3, 4, 6, 6)
  TEST (4, 4, 6, 6)
  TEST (5, 4, 6, 6)
  TEST (6, 4, 6, 6)
  TEST (7, 4, 6, 6)
  TEST (0, 5, 6, 6)
  TEST (1, 5, 6, 6)
  TEST (2, 5, 6, 6)
  TEST (3, 5, 6, 6)
  TEST (4, 5, 6, 6)
  TEST (5, 5, 6, 6)
  TEST (6, 5, 6, 6)
  TEST (7, 5, 6, 6)
  TEST (0, 6, 6, 6)
  TEST (1, 6, 6, 6)
  TEST (2, 6, 6, 6)
  TEST (3, 6, 6, 6)
  TEST (4, 6, 6, 6)
  TEST (5, 6, 6, 6)
  TEST (6, 6, 6, 6)
  TEST (7, 6, 6, 6)
  TEST (0, 7, 6, 6)
  TEST (1, 7, 6, 6)
  TEST (2, 7, 6, 6)
  TEST (3, 7, 6, 6)
  TEST (4, 7, 6, 6)
  TEST (5, 7, 6, 6)
  TEST (6, 7, 6, 6)
  TEST (7, 7, 6, 6)
  TEST (0, 0, 7, 6)
  TEST (1, 0, 7, 6)
  TEST (2, 0, 7, 6)
  TEST (3, 0, 7, 6)
  TEST (4, 0, 7, 6)
  TEST (5, 0, 7, 6)
  TEST (6, 0, 7, 6)
  TEST (7, 0, 7, 6)
  TEST (0, 1, 7, 6)
  TEST (1, 1, 7, 6)
  TEST (2, 1, 7, 6)
  TEST (3, 1, 7, 6)
  TEST (4, 1, 7, 6)
  TEST (5, 1, 7, 6)
  TEST (6, 1, 7, 6)
  TEST (7, 1, 7, 6)
  TEST (0, 2, 7, 6)
  TEST (1, 2, 7, 6)
  TEST (2, 2, 7, 6)
  TEST (3, 2, 7, 6)
  TEST (4, 2, 7, 6)
  TEST (5, 2, 7, 6)
  TEST (6, 2, 7, 6)
  TEST (7, 2, 7, 6)
  TEST (0, 3, 7, 6)
  TEST (1, 3, 7, 6)
  TEST (2, 3, 7, 6)
  TEST (3, 3, 7, 6)
  TEST (4, 3, 7, 6)
  TEST (5, 3, 7, 6)
  TEST (6, 3, 7, 6)
  TEST (7, 3, 7, 6)
  TEST (0, 4, 7, 6)
  TEST (1, 4, 7, 6)
  TEST (2, 4, 7, 6)
  TEST (3, 4, 7, 6)
  TEST (4, 4, 7, 6)
  TEST (5, 4, 7, 6)
  TEST (6, 4, 7, 6)
  TEST (7, 4, 7, 6)
  TEST (0, 5, 7, 6)
  TEST (1, 5, 7, 6)
  TEST (2, 5, 7, 6)
  TEST (3, 5, 7, 6)
  TEST (4, 5, 7, 6)
  TEST (5, 5, 7, 6)
  TEST (6, 5, 7, 6)
  TEST (7, 5, 7, 6)
  TEST (0, 6, 7, 6)
  TEST (1, 6, 7, 6)
  TEST (2, 6, 7, 6)
  TEST (3, 6, 7, 6)
  TEST (4, 6, 7, 6)
  TEST (5, 6, 7, 6)
  TEST (6, 6, 7, 6)
  TEST (7, 6, 7, 6)
  TEST (0, 7, 7, 6)
  TEST (1, 7, 7, 6)
  TEST (2, 7, 7, 6)
  TEST (3, 7, 7, 6)
  TEST (4, 7, 7, 6)
  TEST (5, 7, 7, 6)
  TEST (6, 7, 7, 6)
  TEST (7, 7, 7, 6)
}

void check28(void)
{
  TEST (0, 0, 0, 7)
  TEST (1, 0, 0, 7)
  TEST (2, 0, 0, 7)
  TEST (3, 0, 0, 7)
  TEST (4, 0, 0, 7)
  TEST (5, 0, 0, 7)
  TEST (6, 0, 0, 7)
  TEST (7, 0, 0, 7)
  TEST (0, 1, 0, 7)
  TEST (1, 1, 0, 7)
  TEST (2, 1, 0, 7)
  TEST (3, 1, 0, 7)
  TEST (4, 1, 0, 7)
  TEST (5, 1, 0, 7)
  TEST (6, 1, 0, 7)
  TEST (7, 1, 0, 7)
  TEST (0, 2, 0, 7)
  TEST (1, 2, 0, 7)
  TEST (2, 2, 0, 7)
  TEST (3, 2, 0, 7)
  TEST (4, 2, 0, 7)
  TEST (5, 2, 0, 7)
  TEST (6, 2, 0, 7)
  TEST (7, 2, 0, 7)
  TEST (0, 3, 0, 7)
  TEST (1, 3, 0, 7)
  TEST (2, 3, 0, 7)
  TEST (3, 3, 0, 7)
  TEST (4, 3, 0, 7)
  TEST (5, 3, 0, 7)
  TEST (6, 3, 0, 7)
  TEST (7, 3, 0, 7)
  TEST (0, 4, 0, 7)
  TEST (1, 4, 0, 7)
  TEST (2, 4, 0, 7)
  TEST (3, 4, 0, 7)
  TEST (4, 4, 0, 7)
  TEST (5, 4, 0, 7)
  TEST (6, 4, 0, 7)
  TEST (7, 4, 0, 7)
  TEST (0, 5, 0, 7)
  TEST (1, 5, 0, 7)
  TEST (2, 5, 0, 7)
  TEST (3, 5, 0, 7)
  TEST (4, 5, 0, 7)
  TEST (5, 5, 0, 7)
  TEST (6, 5, 0, 7)
  TEST (7, 5, 0, 7)
  TEST (0, 6, 0, 7)
  TEST (1, 6, 0, 7)
  TEST (2, 6, 0, 7)
  TEST (3, 6, 0, 7)
  TEST (4, 6, 0, 7)
  TEST (5, 6, 0, 7)
  TEST (6, 6, 0, 7)
  TEST (7, 6, 0, 7)
  TEST (0, 7, 0, 7)
  TEST (1, 7, 0, 7)
  TEST (2, 7, 0, 7)
  TEST (3, 7, 0, 7)
  TEST (4, 7, 0, 7)
  TEST (5, 7, 0, 7)
  TEST (6, 7, 0, 7)
  TEST (7, 7, 0, 7)
  TEST (0, 0, 1, 7)
  TEST (1, 0, 1, 7)
  TEST (2, 0, 1, 7)
  TEST (3, 0, 1, 7)
  TEST (4, 0, 1, 7)
  TEST (5, 0, 1, 7)
  TEST (6, 0, 1, 7)
  TEST (7, 0, 1, 7)
  TEST (0, 1, 1, 7)
  TEST (1, 1, 1, 7)
  TEST (2, 1, 1, 7)
  TEST (3, 1, 1, 7)
  TEST (4, 1, 1, 7)
  TEST (5, 1, 1, 7)
  TEST (6, 1, 1, 7)
  TEST (7, 1, 1, 7)
  TEST (0, 2, 1, 7)
  TEST (1, 2, 1, 7)
  TEST (2, 2, 1, 7)
  TEST (3, 2, 1, 7)
  TEST (4, 2, 1, 7)
  TEST (5, 2, 1, 7)
  TEST (6, 2, 1, 7)
  TEST (7, 2, 1, 7)
  TEST (0, 3, 1, 7)
  TEST (1, 3, 1, 7)
  TEST (2, 3, 1, 7)
  TEST (3, 3, 1, 7)
  TEST (4, 3, 1, 7)
  TEST (5, 3, 1, 7)
  TEST (6, 3, 1, 7)
  TEST (7, 3, 1, 7)
  TEST (0, 4, 1, 7)
  TEST (1, 4, 1, 7)
  TEST (2, 4, 1, 7)
  TEST (3, 4, 1, 7)
  TEST (4, 4, 1, 7)
  TEST (5, 4, 1, 7)
  TEST (6, 4, 1, 7)
  TEST (7, 4, 1, 7)
  TEST (0, 5, 1, 7)
  TEST (1, 5, 1, 7)
  TEST (2, 5, 1, 7)
  TEST (3, 5, 1, 7)
  TEST (4, 5, 1, 7)
  TEST (5, 5, 1, 7)
  TEST (6, 5, 1, 7)
  TEST (7, 5, 1, 7)
  TEST (0, 6, 1, 7)
  TEST (1, 6, 1, 7)
  TEST (2, 6, 1, 7)
  TEST (3, 6, 1, 7)
  TEST (4, 6, 1, 7)
  TEST (5, 6, 1, 7)
  TEST (6, 6, 1, 7)
  TEST (7, 6, 1, 7)
  TEST (0, 7, 1, 7)
  TEST (1, 7, 1, 7)
  TEST (2, 7, 1, 7)
  TEST (3, 7, 1, 7)
  TEST (4, 7, 1, 7)
  TEST (5, 7, 1, 7)
  TEST (6, 7, 1, 7)
  TEST (7, 7, 1, 7)
}

void check29(void)
{
  TEST (0, 0, 2, 7)
  TEST (1, 0, 2, 7)
  TEST (2, 0, 2, 7)
  TEST (3, 0, 2, 7)
  TEST (4, 0, 2, 7)
  TEST (5, 0, 2, 7)
  TEST (6, 0, 2, 7)
  TEST (7, 0, 2, 7)
  TEST (0, 1, 2, 7)
  TEST (1, 1, 2, 7)
  TEST (2, 1, 2, 7)
  TEST (3, 1, 2, 7)
  TEST (4, 1, 2, 7)
  TEST (5, 1, 2, 7)
  TEST (6, 1, 2, 7)
  TEST (7, 1, 2, 7)
  TEST (0, 2, 2, 7)
  TEST (1, 2, 2, 7)
  TEST (2, 2, 2, 7)
  TEST (3, 2, 2, 7)
  TEST (4, 2, 2, 7)
  TEST (5, 2, 2, 7)
  TEST (6, 2, 2, 7)
  TEST (7, 2, 2, 7)
  TEST (0, 3, 2, 7)
  TEST (1, 3, 2, 7)
  TEST (2, 3, 2, 7)
  TEST (3, 3, 2, 7)
  TEST (4, 3, 2, 7)
  TEST (5, 3, 2, 7)
  TEST (6, 3, 2, 7)
  TEST (7, 3, 2, 7)
  TEST (0, 4, 2, 7)
  TEST (1, 4, 2, 7)
  TEST (2, 4, 2, 7)
  TEST (3, 4, 2, 7)
  TEST (4, 4, 2, 7)
  TEST (5, 4, 2, 7)
  TEST (6, 4, 2, 7)
  TEST (7, 4, 2, 7)
  TEST (0, 5, 2, 7)
  TEST (1, 5, 2, 7)
  TEST (2, 5, 2, 7)
  TEST (3, 5, 2, 7)
  TEST (4, 5, 2, 7)
  TEST (5, 5, 2, 7)
  TEST (6, 5, 2, 7)
  TEST (7, 5, 2, 7)
  TEST (0, 6, 2, 7)
  TEST (1, 6, 2, 7)
  TEST (2, 6, 2, 7)
  TEST (3, 6, 2, 7)
  TEST (4, 6, 2, 7)
  TEST (5, 6, 2, 7)
  TEST (6, 6, 2, 7)
  TEST (7, 6, 2, 7)
  TEST (0, 7, 2, 7)
  TEST (1, 7, 2, 7)
  TEST (2, 7, 2, 7)
  TEST (3, 7, 2, 7)
  TEST (4, 7, 2, 7)
  TEST (5, 7, 2, 7)
  TEST (6, 7, 2, 7)
  TEST (7, 7, 2, 7)
  TEST (0, 0, 3, 7)
  TEST (1, 0, 3, 7)
  TEST (2, 0, 3, 7)
  TEST (3, 0, 3, 7)
  TEST (4, 0, 3, 7)
  TEST (5, 0, 3, 7)
  TEST (6, 0, 3, 7)
  TEST (7, 0, 3, 7)
  TEST (0, 1, 3, 7)
  TEST (1, 1, 3, 7)
  TEST (2, 1, 3, 7)
  TEST (3, 1, 3, 7)
  TEST (4, 1, 3, 7)
  TEST (5, 1, 3, 7)
  TEST (6, 1, 3, 7)
  TEST (7, 1, 3, 7)
  TEST (0, 2, 3, 7)
  TEST (1, 2, 3, 7)
  TEST (2, 2, 3, 7)
  TEST (3, 2, 3, 7)
  TEST (4, 2, 3, 7)
  TEST (5, 2, 3, 7)
  TEST (6, 2, 3, 7)
  TEST (7, 2, 3, 7)
  TEST (0, 3, 3, 7)
  TEST (1, 3, 3, 7)
  TEST (2, 3, 3, 7)
  TEST (3, 3, 3, 7)
  TEST (4, 3, 3, 7)
  TEST (5, 3, 3, 7)
  TEST (6, 3, 3, 7)
  TEST (7, 3, 3, 7)
  TEST (0, 4, 3, 7)
  TEST (1, 4, 3, 7)
  TEST (2, 4, 3, 7)
  TEST (3, 4, 3, 7)
  TEST (4, 4, 3, 7)
  TEST (5, 4, 3, 7)
  TEST (6, 4, 3, 7)
  TEST (7, 4, 3, 7)
  TEST (0, 5, 3, 7)
  TEST (1, 5, 3, 7)
  TEST (2, 5, 3, 7)
  TEST (3, 5, 3, 7)
  TEST (4, 5, 3, 7)
  TEST (5, 5, 3, 7)
  TEST (6, 5, 3, 7)
  TEST (7, 5, 3, 7)
  TEST (0, 6, 3, 7)
  TEST (1, 6, 3, 7)
  TEST (2, 6, 3, 7)
  TEST (3, 6, 3, 7)
  TEST (4, 6, 3, 7)
  TEST (5, 6, 3, 7)
  TEST (6, 6, 3, 7)
  TEST (7, 6, 3, 7)
  TEST (0, 7, 3, 7)
  TEST (1, 7, 3, 7)
  TEST (2, 7, 3, 7)
  TEST (3, 7, 3, 7)
  TEST (4, 7, 3, 7)
  TEST (5, 7, 3, 7)
  TEST (6, 7, 3, 7)
  TEST (7, 7, 3, 7)
}

void check30(void)
{
  TEST (0, 0, 4, 7)
  TEST (1, 0, 4, 7)
  TEST (2, 0, 4, 7)
  TEST (3, 0, 4, 7)
  TEST (4, 0, 4, 7)
  TEST (5, 0, 4, 7)
  TEST (6, 0, 4, 7)
  TEST (7, 0, 4, 7)
  TEST (0, 1, 4, 7)
  TEST (1, 1, 4, 7)
  TEST (2, 1, 4, 7)
  TEST (3, 1, 4, 7)
  TEST (4, 1, 4, 7)
  TEST (5, 1, 4, 7)
  TEST (6, 1, 4, 7)
  TEST (7, 1, 4, 7)
  TEST (0, 2, 4, 7)
  TEST (1, 2, 4, 7)
  TEST (2, 2, 4, 7)
  TEST (3, 2, 4, 7)
  TEST (4, 2, 4, 7)
  TEST (5, 2, 4, 7)
  TEST (6, 2, 4, 7)
  TEST (7, 2, 4, 7)
  TEST (0, 3, 4, 7)
  TEST (1, 3, 4, 7)
  TEST (2, 3, 4, 7)
  TEST (3, 3, 4, 7)
  TEST (4, 3, 4, 7)
  TEST (5, 3, 4, 7)
  TEST (6, 3, 4, 7)
  TEST (7, 3, 4, 7)
  TEST (0, 4, 4, 7)
  TEST (1, 4, 4, 7)
  TEST (2, 4, 4, 7)
  TEST (3, 4, 4, 7)
  TEST (4, 4, 4, 7)
  TEST (5, 4, 4, 7)
  TEST (6, 4, 4, 7)
  TEST (7, 4, 4, 7)
  TEST (0, 5, 4, 7)
  TEST (1, 5, 4, 7)
  TEST (2, 5, 4, 7)
  TEST (3, 5, 4, 7)
  TEST (4, 5, 4, 7)
  TEST (5, 5, 4, 7)
  TEST (6, 5, 4, 7)
  TEST (7, 5, 4, 7)
  TEST (0, 6, 4, 7)
  TEST (1, 6, 4, 7)
  TEST (2, 6, 4, 7)
  TEST (3, 6, 4, 7)
  TEST (4, 6, 4, 7)
  TEST (5, 6, 4, 7)
  TEST (6, 6, 4, 7)
  TEST (7, 6, 4, 7)
  TEST (0, 7, 4, 7)
  TEST (1, 7, 4, 7)
  TEST (2, 7, 4, 7)
  TEST (3, 7, 4, 7)
  TEST (4, 7, 4, 7)
  TEST (5, 7, 4, 7)
  TEST (6, 7, 4, 7)
  TEST (7, 7, 4, 7)
  TEST (0, 0, 5, 7)
  TEST (1, 0, 5, 7)
  TEST (2, 0, 5, 7)
  TEST (3, 0, 5, 7)
  TEST (4, 0, 5, 7)
  TEST (5, 0, 5, 7)
  TEST (6, 0, 5, 7)
  TEST (7, 0, 5, 7)
  TEST (0, 1, 5, 7)
  TEST (1, 1, 5, 7)
  TEST (2, 1, 5, 7)
  TEST (3, 1, 5, 7)
  TEST (4, 1, 5, 7)
  TEST (5, 1, 5, 7)
  TEST (6, 1, 5, 7)
  TEST (7, 1, 5, 7)
  TEST (0, 2, 5, 7)
  TEST (1, 2, 5, 7)
  TEST (2, 2, 5, 7)
  TEST (3, 2, 5, 7)
  TEST (4, 2, 5, 7)
  TEST (5, 2, 5, 7)
  TEST (6, 2, 5, 7)
  TEST (7, 2, 5, 7)
  TEST (0, 3, 5, 7)
  TEST (1, 3, 5, 7)
  TEST (2, 3, 5, 7)
  TEST (3, 3, 5, 7)
  TEST (4, 3, 5, 7)
  TEST (5, 3, 5, 7)
  TEST (6, 3, 5, 7)
  TEST (7, 3, 5, 7)
  TEST (0, 4, 5, 7)
  TEST (1, 4, 5, 7)
  TEST (2, 4, 5, 7)
  TEST (3, 4, 5, 7)
  TEST (4, 4, 5, 7)
  TEST (5, 4, 5, 7)
  TEST (6, 4, 5, 7)
  TEST (7, 4, 5, 7)
  TEST (0, 5, 5, 7)
  TEST (1, 5, 5, 7)
  TEST (2, 5, 5, 7)
  TEST (3, 5, 5, 7)
  TEST (4, 5, 5, 7)
  TEST (5, 5, 5, 7)
  TEST (6, 5, 5, 7)
  TEST (7, 5, 5, 7)
  TEST (0, 6, 5, 7)
  TEST (1, 6, 5, 7)
  TEST (2, 6, 5, 7)
  TEST (3, 6, 5, 7)
  TEST (4, 6, 5, 7)
  TEST (5, 6, 5, 7)
  TEST (6, 6, 5, 7)
  TEST (7, 6, 5, 7)
  TEST (0, 7, 5, 7)
  TEST (1, 7, 5, 7)
  TEST (2, 7, 5, 7)
  TEST (3, 7, 5, 7)
  TEST (4, 7, 5, 7)
  TEST (5, 7, 5, 7)
  TEST (6, 7, 5, 7)
  TEST (7, 7, 5, 7)
}

void check31(void)
{
  TEST (0, 0, 6, 7)
  TEST (1, 0, 6, 7)
  TEST (2, 0, 6, 7)
  TEST (3, 0, 6, 7)
  TEST (4, 0, 6, 7)
  TEST (5, 0, 6, 7)
  TEST (6, 0, 6, 7)
  TEST (7, 0, 6, 7)
  TEST (0, 1, 6, 7)
  TEST (1, 1, 6, 7)
  TEST (2, 1, 6, 7)
  TEST (3, 1, 6, 7)
  TEST (4, 1, 6, 7)
  TEST (5, 1, 6, 7)
  TEST (6, 1, 6, 7)
  TEST (7, 1, 6, 7)
  TEST (0, 2, 6, 7)
  TEST (1, 2, 6, 7)
  TEST (2, 2, 6, 7)
  TEST (3, 2, 6, 7)
  TEST (4, 2, 6, 7)
  TEST (5, 2, 6, 7)
  TEST (6, 2, 6, 7)
  TEST (7, 2, 6, 7)
  TEST (0, 3, 6, 7)
  TEST (1, 3, 6, 7)
  TEST (2, 3, 6, 7)
  TEST (3, 3, 6, 7)
  TEST (4, 3, 6, 7)
  TEST (5, 3, 6, 7)
  TEST (6, 3, 6, 7)
  TEST (7, 3, 6, 7)
  TEST (0, 4, 6, 7)
  TEST (1, 4, 6, 7)
  TEST (2, 4, 6, 7)
  TEST (3, 4, 6, 7)
  TEST (4, 4, 6, 7)
  TEST (5, 4, 6, 7)
  TEST (6, 4, 6, 7)
  TEST (7, 4, 6, 7)
  TEST (0, 5, 6, 7)
  TEST (1, 5, 6, 7)
  TEST (2, 5, 6, 7)
  TEST (3, 5, 6, 7)
  TEST (4, 5, 6, 7)
  TEST (5, 5, 6, 7)
  TEST (6, 5, 6, 7)
  TEST (7, 5, 6, 7)
  TEST (0, 6, 6, 7)
  TEST (1, 6, 6, 7)
  TEST (2, 6, 6, 7)
  TEST (3, 6, 6, 7)
  TEST (4, 6, 6, 7)
  TEST (5, 6, 6, 7)
  TEST (6, 6, 6, 7)
  TEST (7, 6, 6, 7)
  TEST (0, 7, 6, 7)
  TEST (1, 7, 6, 7)
  TEST (2, 7, 6, 7)
  TEST (3, 7, 6, 7)
  TEST (4, 7, 6, 7)
  TEST (5, 7, 6, 7)
  TEST (6, 7, 6, 7)
  TEST (7, 7, 6, 7)
  TEST (0, 0, 7, 7)
  TEST (1, 0, 7, 7)
  TEST (2, 0, 7, 7)
  TEST (3, 0, 7, 7)
  TEST (4, 0, 7, 7)
  TEST (5, 0, 7, 7)
  TEST (6, 0, 7, 7)
  TEST (7, 0, 7, 7)
  TEST (0, 1, 7, 7)
  TEST (1, 1, 7, 7)
  TEST (2, 1, 7, 7)
  TEST (3, 1, 7, 7)
  TEST (4, 1, 7, 7)
  TEST (5, 1, 7, 7)
  TEST (6, 1, 7, 7)
  TEST (7, 1, 7, 7)
  TEST (0, 2, 7, 7)
  TEST (1, 2, 7, 7)
  TEST (2, 2, 7, 7)
  TEST (3, 2, 7, 7)
  TEST (4, 2, 7, 7)
  TEST (5, 2, 7, 7)
  TEST (6, 2, 7, 7)
  TEST (7, 2, 7, 7)
  TEST (0, 3, 7, 7)
  TEST (1, 3, 7, 7)
  TEST (2, 3, 7, 7)
  TEST (3, 3, 7, 7)
  TEST (4, 3, 7, 7)
  TEST (5, 3, 7, 7)
  TEST (6, 3, 7, 7)
  TEST (7, 3, 7, 7)
  TEST (0, 4, 7, 7)
  TEST (1, 4, 7, 7)
  TEST (2, 4, 7, 7)
  TEST (3, 4, 7, 7)
  TEST (4, 4, 7, 7)
  TEST (5, 4, 7, 7)
  TEST (6, 4, 7, 7)
  TEST (7, 4, 7, 7)
  TEST (0, 5, 7, 7)
  TEST (1, 5, 7, 7)
  TEST (2, 5, 7, 7)
  TEST (3, 5, 7, 7)
  TEST (4, 5, 7, 7)
  TEST (5, 5, 7, 7)
  TEST (6, 5, 7, 7)
  TEST (7, 5, 7, 7)
  TEST (0, 6, 7, 7)
  TEST (1, 6, 7, 7)
  TEST (2, 6, 7, 7)
  TEST (3, 6, 7, 7)
  TEST (4, 6, 7, 7)
  TEST (5, 6, 7, 7)
  TEST (6, 6, 7, 7)
  TEST (7, 6, 7, 7)
  TEST (0, 7, 7, 7)
  TEST (1, 7, 7, 7)
  TEST (2, 7, 7, 7)
  TEST (3, 7, 7, 7)
  TEST (4, 7, 7, 7)
  TEST (5, 7, 7, 7)
  TEST (6, 7, 7, 7)
  TEST (7, 7, 7, 7)
}

void check(void)
{
  check0 ();
  check1 ();
  check2 ();
  check3 ();
  check4 ();
  check5 ();
  check6 ();
  check7 ();
  check8 ();
  check9 ();
  check10 ();
  check11 ();
  check12 ();
  check13 ();
  check14 ();
  check15 ();
  check16 ();
  check17 ();
  check18 ();
  check19 ();
  check20 ();
  check21 ();
  check22 ();
  check23 ();
  check24 ();
  check25 ();
  check26 ();
  check27 ();
  check28 ();
  check29 ();
  check30 ();
  check31 ();
}

